[OpenBIOS] OT: linux kernel problem