fpu_kern_alloc_ctx(9) on FreeBSD

The text bd4fd9247a23, as FreeBSD 14.0-RELEASE, FreeBSD 13.5-RELEASE, FreeBSD 13.4-RELEASE, FreeBSD 13.3-RELEASE shipped it.

facility to use the FPU in the kernel