VMW7の環境設定にはAVX、AVX2、AVX-512がありますが、どれを切ればいいんでしょう。