Add Cortex A9 kernel optimizations