[OpenBIOS] Re: stripkernel??