[OpenBIOS] r251 - in openbios-devel: config/examples kernel