The text 52b8062d9903, as Debian 9 (Stretch) shipped it.
facility to use the FPU in the kernel
fpu_kern_alloc_ctx(9freebsd) on Linux now
