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