[OpenBIOS] r269 - openbios-devel/kernel