[OpenBIOS] [commit] r742 - in trunk/openbios-devel: include/libc libc