ARM: cache-cp15: Use more accurate types