[PATCH v3 0/7] drm/vc4: hdmi: Support the 10/12 bit output