Re: [SeaBIOS] GPT disks in a BIOS world