Synchronize with English 1.27:
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).
Minor reformatting.