[OpenBIOS] Correct GCC configuration for cross-compiling OpenBIOS