[BPI-R2] Hdmi in uboot and linux