[PATCH v7 0/9] drm/vc4: hdmi: Support the 10/12 bit output