Re: [OpenBIOS] OT: linux kernel problem