Linux is up!

Thanks to some great TianoCore hacking from Adam, we now have Linux (and Barrelfish…) reliably booting on the ThunderX side of the Enzian prototype machines! This also gives us a solid software base for booting the final production board when it arrives.