RE: [SLE] SMP kernel