Users do not care why the perf they get is what they get. What good is AVX2048 if nobody uses it?