Re: A question about upgrading kernels, again