Re: [PATCH 1/1] KVM: s390: index kvm->arch.idle_mask by vcpu_idx