Xen 3.0 Setup For Debian (SMP support?)

I just finished setting up Xen on sarge following the excellent howto done on this site (The Perfect Xen 3.0 Setup For Debian).

I did the install on a dual Xeon HT machine, and I'm wondering if it's possible to enable SMP support with the default 2.6.12-xen0 kernel? (Only one of the processors is showing up in /proc/cpuinfo). I looked around menuconfig for linux-2.6.12-xen0 and didn't see any SMP options.

I've done a bit of searching, and haven't found any concrete answer on how to make this work. From what I've seen, it looks possible to enable, but how I'm not sure.

I did the install on a dual Xeon HT machine, and I'm wondering if it's possible to enable SMP support with the default 2.6.12-xen0 kernel? (Only one of the processors is showing up in /proc/cpuinfo). I looked around menuconfig for linux-2.6.12-xen0 and didn't see any SMP options.