CONFIG_SMP was recently re-enabled for the default xen x86_32 kernel
config, but CONFIG_HOTPLUG_CPU wasn't. This leaves the user in the
situation where she will see extra VCPUs but vcpu-enable/disable won't
work on dom0 vcpus.
Software Engineer; Linux Technology Center
IBM Corp., Austin, Tx
(512) 838-9253 T/L: 678-9253