ARM: cache: optimize for Cortex-A9