Re: [PATCH v4 40/78] drm/vc4: hdmi: rework connectors and encoders