Re: [SLE] where to get the current kernel