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