On Fri, 22 Jun 2018 13:18:31 -0700
> The current release (not distro) already has a fix for it: > https://ftp.openbsd.org/pub/OpenBSD/patches/6.3/common/010_intelfpu.patch.sig That is the FPU fix. The hyper threading has landed in current/snapshots but not in stable yet. Also, I expect the code is disabling at the OS level and so will not help other OS, like a bios switch could. The hyper threading performance change may not affect other OS atleast in the same way either.