Re: [PATCH] drm: Do not use BUG_ON(!spin_is_locked())