[PATCH v4 0/8] drm/vc4: hdmi: Support the 10/12 bit output