CPU側の仮想化支援なんぞ比較にならないほど効率的なはずの
VMIはなぜマイナーなままなんだ…。最近のLinux kernelだと
make menuconfig時にVMIの項に「非推奨」なんて書かれるように
なってしまったし。