[OT] Re: installing kernel.org kernels