Comment désactiver les instructions avx sur un ordinateur Linux?

Ou plus précisément, comment puis-je m’assurer que / proc / cpuinfo et l’opcode CPUID ne montrent pas que AVX est activé?

(Pour le contexte, il existe un bogue sur certaines instances Amazon EC2, où AVX est faussement signalé comme actif, ce qui provoque le blocage des programmes utilisant dynamicment les instructions AVX avec SIGILL).

J’ai vu ce patch du kernel: https://patchwork.kernel.org/patch/1521191/ , mais je ne suis pas sûr que cela affecte uniquement l’utilisation avx du kernel ou corrige aussi CPUID et / proc / cpuinfo. Quoi qu’il en soit, j’espère trouver une solution qui fonctionne sur les séries de kernel linux 2.6.x.