[OpenBIOS] r245 - openbios-devel/libgcc