Re: [PATCH v7 9/9] drm/vc4: hdmi: Enable 10/12 bpc output