Re: [PATCH v15 1/7] drm/ingenic: Fix support for JZ4780 HDMI output