The text 799d57c8e41c, as FreeBSD 12.3-RELEASE shipped it.
facility to use the FPU in the kernel
fpu_kern_alloc_ctx(9) on FreeBSD now
