fpu_kern_alloc_ctx(9freebsd) on Linux

The text c7a918941093, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it. The page shows this text now.

facility to use the FPU in the kernel