[PATCH 6.13 074/119] arm64: dts: rockchip: Add avdd HDMI supplies to RockPro64 board dtsi