The text bf542c9c12ef, as FreeBSD 10.3-RELEASE shipped it.
facility to use the FPU in the kernel
fpu_kern_leave(9) on FreeBSD now
