Added vcpu_pin: sets which CPUs a VCPU can use