Re: [PATCH 4/4] rockchip: Enable HDMI output on rk3399 board w/ HDMI