The text 0883f3902236, as Debian 8 (Jessie) shipped it.
facility to use the FPU in the kernel
fpu_kern_alloc_ctx(9freebsd) on Linux now
