VirtualBoxを更新する。　（再び

VirtualBoxを4.3.12にバージョンアップした。

4.3.10からのマイナーバージョンアップだからね　特に変わった所は見られない。
細かなバグがfixされた模様。

VirtualBoxのバージョンアップ方法は過去に記事にしてあるから　ここでは省略。