Some fixes for booting on hardware, work around a memory corruption issue for now.