Re: [Fedora-xen] VCPU number configuration