元々のBIOSがASRockの表に載ってない2.70Yというものでした。X58 Extreme3というマザーボードです。どっかに動画があったのですが、探すのが面倒です。間違いなくそうでした。今は2.70というYなしのバージョンです。ドスパラのHPを見ると、下の図のような設定ということです。
上の図のようにIntel VT-dをEnabledにする。なんですが、どの参考にしたサイトでもそうでした。でも多分ですが、これをEnabledにすると立ち上がれません。DisabledにしておいてもAndorod Studioでもintellij IDEAでもEnulatorがきちんと動きます。これってどういうことなんですかね?動くからいいかという結論になりますが。