suggested change to http://www.freebsd.org/doc/en/books/developers-handbook/kerneldebug-kld.html

[Julian Elischer]

there is now a program installed on the system (see asf(8)) that loads
up the symbols for (k)gdb for loadab;e modules.   This page should
reference that utility, and I believe it should reference kgdb rather
than gdb since marcel (cc'd) (I believe) split them apart for kernel
and non kernel work.

Julian