Kernel for linuxbios