[OpenBIOS] r422 - in openbios-devel: config/examples include/libc libc