fpu_kern(9) on FreeBSD

The text 795477f336bb, as FreeBSD 13.2-RELEASE, FreeBSD 13.1-RELEASE, FreeBSD 13.0-RELEASE shipped it.

facility to use the FPU in the kernel

fpu_kern(9) on FreeBSD now