[CentOS] is there an smp kernel?

I have a dual xeon, dual core box running the xen x86_64 kernel.
I've decided against running any guest OS'es most of the time, so I'd like
to install an smp kernel, that would hopefully allow me to install and
use the nvidia drivers for my quadro FX1500 graphics card.

I did a yum list kernel* but I don't see any smp kernels.

Do I need to do a full reinstall w/o virtualization, or does the plain
kernel.x86_64 0:2.6.28-8.1.14.el5 support smp?

I spent an hour or so googling and didn't find any clear answer, but I may
not have looked in the right place.

thanks,
-chuck