Re: [OpenBIOS] Correct GCC configuration for cross-compiling Open BIOS