xen: change the type of xen_vcpu_id to uint32_t