CONFIG_HAVE_ARCH_KGDB (not configurable)
configname: CONFIG_HAVE_ARCH_KGDB
Linux Kernel Configuration
└─>Kernel hacking
└─>Generic Kernel Debugging Instruments
└─>HAVE_ARCH_KGDB