[OpenBIOS] [commit] r764 - trunk/openbios-devel/libc