kgdb: documentation fixes