[PATCH 11/13] drm/vc4: hdmi: Switch to detect_ctx