Optimise kernel building for Cortex-A9