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