あ、本当だ。AVX3つ切ったら3.6GHz前後まで上がった。それでも36倍か。オートの限界なのかな。CPU温度は67°程度なんだが。

AVX切る段階で気がついたんだけど、AVX、AVX2どちらか(もしくはどちらも)切ると、AVX512も自動で無効になる。チェックはできるんだけど、再び環境設定を開くと、チェックが外れている。AVX512だけ使ってみようとしたら気づいた。
仕様なのかバグなのか。