Re: [PATCH v15 12/12] drm: bridge/dw_hdmi: add rockchip rk3288 support