I have no idea what the Corelis debugger is, but I assume that putting
it configuration out of the CONFIG_KGDB is intentional?  It doesn't
require the -g option?

Yes -- the patch didn't include it, but the Corelis option will depend
on DEBUG_INFO.  I just thought removing the nested ifdef was more
attractive, and have the configure magic deal with the dependence.