Index: en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml
===================================================================
--- en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml	(revision 51429)
+++ en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml	(working copy)
@@ -169,7 +169,8 @@
     <note>
       <para>This section covers &man.kgdb.1; as found in &os;&nbsp;5.3
 	and later.  In previous versions, one must use
-	<command>gdb -k</command> to read a core dump file.</para>
+	<command>gdb -k</command> to read a core dump file.
+	The kgdb binary can be found at /usr/libexec/kgdb.</para>
     </note>
 
     <para>Once a dump has been obtained, getting useful information
@@ -178,8 +179,10 @@
       the crash dump, locate the debug version of your kernel
       (normally called <filename>kernel.debug</filename>) and the path
       to the source files used to build your kernel (normally
-      <filename>/usr/obj/usr/src/sys/<replaceable>KERNCONF</replaceable></filename>,
-      where <filename><replaceable>KERNCONF</replaceable></filename>
+      <filename>/usr/obj/usr/src/<replaceable>amd64.amd64</replaceable>/sys/<replaceable>KERNCONF</replaceable></filename>,
+      where <filename><replaceable>amd64.amd64</replaceable></filename>
+      is the architecture and
+      <filename><replaceable>KERNCONF</replaceable></filename>
       is the <varname>ident</varname> specified in a kernel
       &man.config.5;).  With those two pieces of info, let the
       debugging commence!</para>