Update the section on debugging a kernel with GDB to include a recent
dump and the basics of what most developers would like to see in reports
of a panic where a dump is available. Also trim a few lines from the
previous dump example (still included) and sync up some of the gdb
commands for the sake of consistency.

Inspired by: Recent exchange with jhb