[CentOS] is there an smp kernel?