add krait optimizations