Re: [OpenBIOS] [commit] r885 - trunk/openbios-devel/libgcc