Re: [SLE] Kernel RPM - k_psmp?