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