[OpenBIOS] r192 - openbios-devel/libgcc