Здравствуйте, Тёмчик, Вы писали:

Тё> Запрет прилетит с обновлением микрокода.

Обычно микрокод в Bios. Там легко заменяется на любой предыдущий, а можно и не обновлять или если новая материнка с новым кодом — старый туда залить. Единственно, если будут еще какой важный баг исправлять, то придется выбирать — либо со старым(где ошибка) жить, либо с отрубленным AVX.
Вероятно в Винде еще могут подсунуть обновление микрокода, но это тоже должно выпиливаться.