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