After following the official UDOObuntu setup guide and connecting via serial console, the only output from minicom is "U-Boot SPL 2015.10-00061-g68849f9 (Jan 08 2016 - 17:01:43)". The green power light is on, but no HDMI output and no green light on the Ethernet port of my network switch. I've tried re-writing the SD card several times with UDOObuntu and Arch Linux ARM to no effect. Any ideas?