[U-Boot] [PATCH v4 0/9] rockchip: video: rk3399: enable HDMI output