I have tried the Debian image for ROCK5B and the Gnome GUI works fine there.   But when booting the Armbian image (running from emmc) the screen does not notice any signal from the ROCK5B regardless of which HDMI port I try. I am using a quite old HDMI monitor (connected though a DVI-HDMI adapter).   How do I debug this?