diff -r 4f3f430fc7aa -r 896cb0d36c1a config/debug/gdb.in
--- a/config/debug/gdb.in	Thu Apr 28 23:26:57 2011 +0200
+++ b/config/debug/gdb.in	Sun May 08 19:02:44 2011 +0200
@@ -1,8 +1,6 @@
 # GDB menu
 
-config DEBUG_gdb
-    help
-      Enable gdb for the target
+## help gdb is the GNU debugger
 
 source "config/debug/gdb.in.cross"
 source "config/debug/gdb.in.native"