Intel Floating Point issue?

According to the oss-security list, there’s an ‘Intel FP issue’, and the BSDs are doing patches against it:

https://marc.info/?l=openbsd-cvs&m=152818076013158&w=2

http://lists.dragonflybsd.org/pipermail/commits/2018-June/672324.html

https://svnweb.freebsd.org/base?view=revision&revision=335072

I don’t know more about this FP issue other than above. For the record, I prefer the old days, when kernel mode didn’t rely on floating point, so the OS didn’t have to save state for drivers. 🙂