Re: [LinuxBIOS] Kernel will not boot