[PATCH 07/13] drm/vc4: hdmi: Remove mutex in detect