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