https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=200846.
Userspace should never be able to crash the kernel!