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