[OpenBIOS] r65 - openbios-devel/libgcc