RE: [BULK] [LinuxBIOS] elfboot() can trash GDT