[SLE] Re: where to get the current kernel