rockchip: Enable HDMI output on rk3399 board w/ HDMI