Symbol: is_mpidr_duplicate