Re: [PATCH 10/18] drm/vc4: hdmi: Convert to bridge