Move config files around, and clean up the mess in the config/ directory.

config/kernel/kernel_linux.in | 12 6 6 0 +-
config/paths.in | 89 0 89 0 ----------------
config/kernel_linux_headers_install.in | 168 0 168 0 ------------------------------
config/kernel.in | 2 1 1 0
config/kernel_linux_headers_copy.in | 42 0 42 0 --------
config/cc.in | 2 1 1 0
config/logging.in | 110 0 110 0 --------------------
config/build-behave.in | 45 0 45 0 --------
config/libc_uClibc.in | 101 0 101 0 ------------------
config/kernel_linux_headers_sanitised.in | 62 0 62 0 -----------
config/ct-behave.in | 82 0 82 0 ---------------
config/kernel_linux.in | 134 0 134 0 ------------------------
config/global.in | 10 5 5 0 +-
config/download_extract.in | 171 0 171 0 -------------------------------
config/cc_gcc.in | 130 0 130 0 ------------------------
config/libc_glibc.in | 124 0 124 0 ----------------------
config/libc.in | 4 2 2 0
17 files changed, 15 insertions(+), 1273 deletions(-)

 # Kernel options

 menu "Kernel"

 choice

     bool

     prompt "Target OS"

     default KERNEL_LINUX

 config KERNEL_LINUX

     bool

     prompt "linux"

     help

       Build a toolchain targeting systems running Linux as a kernel.

 endchoice

 config KERNEL_VERSION

     string

 if KERNEL_LINUX

 source config/kernel/kernel_linux.in

 endif

 endmenu