Re: (subset) [PATCH] drm/vc4: crtc: Make sure the HDMI controller is powered when disabling