Re: [PATCH v6 32/37] arm: Implement read_mpidr on armv7