KASSERT(9) on FreeBSD

The text 3aa9d50c4dc4, as FreeBSD 13.2-RELEASE, FreeBSD 13.1-RELEASE, FreeBSD 13.0-RELEASE shipped it.

kernel expression verification macro

KASSERT(9) on FreeBSD now