spapr/xive: use the VCPU id as a NVT identifier