Здравствуйте, _ilya_, Вы писали:

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

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

В Linux обновляется (обычно из пакета linux-firmware). Надо ещё за ним следить.
В винде, по слухам, это регулярно, но я не знаю точного механизма.

Боюсь, запрет это до первого серьёзного исправления какого-то другого бага...