[PATCH v3 7/7] drm/vc4: hdmi: Enable 10/12 bpc output