Comment by lima

9 years ago

It's safe to assume that Windows distributes the microcode fixes as well.

For some reason, Debian says you need bios updates for certain machines, and Debian packaged microcode for others. I wouldn't be surprised if it is the same for Windows.