Re: [PATCH v2 0/4] drm/vc4: Support HDMI QHD or higher output