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