[pjmlp]

Given that the patches are CPU micro-code delivered by OS drivers, AFAIK, the actual OS won't make much difference.