Re: [PATCH v2 2/7] drm/rockchip: dw_hdmi: add device type