The text 9ecbd526a8a8, as FreeBSD 10.2-RELEASE shipped it.
facility to use the FPU in the kernel
fpu_kern_thread(9) on FreeBSD now
