Re: [PATCH v3 070/105] drm/vc4: hdmi: rework connectors and encoders