[PATCH v5 40/80] drm/vc4: hdmi: rework connectors and encoders