7/5とするつもりが、7/6付けのエントリにしてしまった(^^;。
OSから当てるマイクロコードのパッチだけれど、これVirtual Server/PCを使っている場合、ホストにはもちろん当てたほうがよいのでしょうが、ゲストOSにはどうなんでしょう?ホストにあたっていればよさそうな気もしますが...。