The text e72b0f3d66f1, as FreeBSD 10.4-RELEASE shipped it.
facility to use the FPU in the kernel
fpu_kern_enter(9) on FreeBSD now
