Re: Getting the kernel out of /boot