[OpenBIOS] libgcc problem