The text f943824d4b4d, as FreeBSD 12.0-RELEASE shipped it.
external kernel debugger
gdb(4) on FreeBSD now
