[Fedora-xen] VCPU number configuration