RE: [SLE] kernel configuration file