[PATCH 20/29] drm/gma500: Add driver private mutex for the fault handler