Hi. My Zynthian is works and sounds great. But I want to see the standard Pi display terminal (to be able to start the graphics display through the HDMI). In my experience with RPIs in the past, once it is booted up the HDMI displays a login prompt, which can then be used to run startx etc. With the Zynthian, the hdmi display shows all the boot logs, but then goes blank with a single underline at the top left, and is unresponsive to keyboard input. Is this deliberate - would it clash with the midi input? Should I enable another USB port somehow in /etc/config.txt, if so what should I put?