Update the information about building a debugging kernel. Remove the
individual steps, and replace with "make install". Update the following
note to explain that kernel is installed, while kernel.debug remains as
a source of debugging symbols for gdb(1).

PR: docs/14426
Submitted by: Bruce Mah <bmah@acm.org>