Re: [OpenBIOS] libgcc problem