RE: Kernel for linuxbios