Configure Krait bionic optimizations