Krait optimizations implemented