x86/xen: fix percpu vcpu_info allocation