ARM64: dts: rk3399-android: add HDMI device node support