The fact that a simple OS update can make the CPU up to 13% more effective makes me wonder how much performance difference there is between Windows and Linux.
Since I have dual boot, I'll check later if I can find any benchmark tool that works on both so I can compare.