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