VirtualBox 上のWindows 8 をWindows8.1 に更新できるようにする

Screenshot from 2013-11-01 22:21:10
VirtualBox 上のWindows8 をWindows8.1 に上げようと思ったら

「お使いのコンピューターの CPU でサポートされていないため、この更新をインストールすることができません。」

と言われてしまいました.
CMPXCHG16b を以下のようにして有効にしてアップデート出来ました.

# 仮想マシン名確認(何故末尾にスペースがorz)
% VBoxManage list vms|grep -i win
"Windows8 Pro 64bit " {aef046b2-e82e-428b-b65f-8ab01fa489fe}

# 仮想マシンのCMPXCHG16b 有効化
% VBoxManage setextradata "Windows8 Pro 64bit " VBoxInternal/CPUM/CMPXCHG16B 1

VirtualBox 4.2.16 以降で新規マシンだとこの手順は要らないようです.(既存環境で作成した仮想マシンでは必要)