Symbol: to_rockchip_hdmi