[SeaBIOS] Re: [EXTERNAL] Re: How to change Seabios configuration to disable Legacy Bios and enable UEFI bios