ゲストOSのCPUの数を変更するとHALが変わると思うのだけど問題ないのかな？
テストした限りじゃ問題なく動いているんだけどどうも不安で。