Hi Andrew,
I'm guessing that that your kernel config does not include MULTIPROCESSOR? If so, this should be fixed by sys/kern/kern_turnstile.c revision 1.5.
I'm using a generic xen3 domu kernel. I'll test as soon as I can. Thanks. Sarton