[PATCH v2 0/6] drm/vc4: hdmi: Support the 10/12 bit output