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