The text c51a7ced024e, as FreeBSD 11.2-RELEASE shipped it.
facility to use the FPU in the kernel
fpu_kern(9) on FreeBSD now
