Re: [PATCH] rockpro64: Enable HDMI output on rockpro64 board