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