Has this already been patched via Windows Update? I didn't even know WU could do CPU microcode patches.