Krait: use cortex-a12