Are the krait optimizations actually used anywhere for 8974 ?