The text 931dd70c033d, as Debian 10 (Buster) shipped it.
facility to use the FPU in the kernel
fpu_kern_alloc_ctx(9freebsd) on Linux now
