[OpenBIOS] cross-pcc compilation issue with GCC 4.5.0