[PATCH 0/2] drm/vc4: hdmi: Get rid of encoder->crtc, take 2