spapr: use spapr->vsmt to compute VCPU ids