Add Krait optimizations