How to use the HDMI screen as console on Cubox-i4

[Rick Thomas]

Hi Debian Arm folks!

Does anyone know the necessary magic incantation to make my Cubox-i 4x4 use the 
HDMI port as console so I can run a desktop environment on it?

Thanks!

Rick