Comment out Krait optimizations for now till bionic is patched