コードの全面的なリフレッシュを行ったハイパーバイザー「Xen 4.5」 (ダイエットしたXen 4.5)(8/9)