Yup. Seemed to work.

I've got another question, though. The rpmbuild seemed to build quite a few kernels, like a plain one, a bigmem one, an smp one, etc. How do I install the right one? I need the smp kernel.