Bring back Krait optimizations and more cflag tweaks