Symbol: kvm_mpidr_index