xen: Add xen_pin_vcpu() to support calling functions on a dedicated pCPU