Re: installing kernel.org kernels