GDB now needs an explicit `-k' option to switch to kernel debugging mode. The
tactic of invoking GDB under the name of `kgdb' has not worked for a while.
Correct the `Kernel Debugging' chapter of the Handbook to reflect this change.

Reviewed by: ben