Re: [OpenBIOS] [commit] r953 - trunk/openbios-devel/kernel