[OpenBIOS] [commit] r822 - trunk/openbios-devel/kernel