Very good reason to move to Linux
The Linux kernel patches could do the exact same thing, or some other malbehaviour. The root problems are in the processor, not the OS.
Good Hunting... from Varmint Al