xen: use vcpu_ops to setup cpu masks