rockchip: pinctrl: rk3399: add support for the HDMI I2C pins