The text 9b05e5d0a394, as FreeBSD 12.4-RELEASE shipped it.
facility to use the FPU in the kernel
fpu_kern_free_ctx(9) on FreeBSD now
