Re: [PATCH 3/3] drm/vc4: hdmi: Make sure the controller is powered in detect