[OpenBIOS] r148 - openbios-devel/libc