Add support for HDMI out but don't activate it

Linux cannot be booted correctly when u-boot initializes HDMI...
To be corrected later