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(-)

Unless otherwise stated in individual files, this work is licensed to you under

the following terms.

- Files in docs/ are available under the Creative Commons Attribution, Share

  Alike (by-sa), v2.5, to be found there:

    licenses.d/by-sa/deed.en     (human-readable summary)

    licenses.d/by-sa/legalcode   (legal code, the full license)

- Files found in patches/*/ are available under the same license as the

  upstream software they apply to.

  That means that you can't use those patches if you were licensed the

  software under a specific license which is not the one the software is

  commonly available under.

  As an example, if you ever managed to get the Linux kernel under a license

  other than the GPLv2, you are not allowed to use the Linux kernel patches

  coming with crosstool-NG, as those are available under the GPLv2, which is

  the license the Linux kernel is most commonly available under.

  As a convenience, the GNU Lesser General Public License (LGPL) v2.1 (for the

  glibc, uClibc, and some other libraries) is available there:

    licenses.d/lgpl.txt

- Other files not covered by the above licenses, and not covered by an

  individual license specified in the file itself, or an accompanying file,

  are available under the GNU General Public License (GPL), v2, to be found

  here:

    licenses.d/gpl.txt