comment out krait optimizations for now