Re: [PATCH 04/20] Documentation: kgdb: eliminate duplicated word