Intel-TXTとVirtualBox

詳しい理由はわからないけど、BIOSでIntel-TXTを有効にしているとVirtualBoxで64bit CPUが認識できなくなる事象が発生。

BIOSのアップデートついでに有効にしたんですが、ほぼ同時期にKernelのバージョンも上げていて原因究明が困難を極めたのでした。