Kernel RPM - k_psmp?