ARM: 8130/1: cpuidle/cpuidle-big_little: fix reading cpu id part number