Is there not a separate SMP kernel for multi-processor systems in CentOS-5? I don’t see one in the repository.