Re: [SLE] default kernel configuration?