Re: [PATCH v13 06/14] drm/mediatek: Add HDMI support