Re: [PATCH v1 4/6] drm/rockchip: dw_hdmi: add RK3399 HDMI support