[PATCH 3/5] arm64: dts: rockchip: Add HDMI0 node to rk3588