xen/pvhvm: run xen_vcpu_setup() for the boot CPU