Kernel RPMs for multiprocessor environment