UEFI: More debug and fun. Not sure what to do about MMU.