2010-01-23docs: do not document CT_KERNEL_ARCH, it's going away...
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> [Sat, 23 Jan 2010 16:49:56 +0100] rev 1745
docs: do not document CT_KERNEL_ARCH, it's going away...

Since we merged the 32/64-bit archs, and we explicitly used
the Linux kernel arch name, we can get rid of CT_KERNEL_ARCH.

2010-01-21debug/gdb: fix the space-damage
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> [Thu, 21 Jan 2010 22:45:09 +0100] rev 1744
debug/gdb: fix the space-damage

2010-01-21debug/gdb: do not expose the ncurses version in the menuconfig
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> [Thu, 21 Jan 2010 22:33:54 +0100] rev 1743
debug/gdb: do not expose the ncurses version in the menuconfig