[SeaBIOS] GPT disks in a BIOS world