Re: [PATCH v2 07/12] drm/vc4: hdmi: Set HDMI_MAI_FMT