[Fedora-xen] HVM Xen guest CPUs allocation