[PATCH 09/15] drm: unexport drm_global_mutex