The text 0883f3902236, as FreeBSD 10.1-RELEASE shipped it.
facility to use the FPU in the kernel
is_fpu_kern_thread(9) on FreeBSD now
