Windows Server 2008用のパッチで、今回のCPUバグ問題も解消できるんかな・・