Using LinuxBIOS to boot other kernels