Re: [PATCH] drm/vc4: hdmi: Remove drm_encoder->crtc usage