Move all the Linux kernel config options to a single file (to ease supporting more than one kernel).
Rename some Linux kernel config options (ditto).
Update the addToolsVersion.sh script.

/trunk/scripts/build/kernel/linux.sh | 13 6 7 0 +--
/trunk/tools/addToolVersion.sh | 105 37 68 0 +++++++--------------
/trunk/config/kernel/linux.in | 211 189 22 0 ++++++++++++++++++++++++++++++++++++++----
3 files changed, 232 insertions(+), 97 deletions(-)

 #!/bin/bash

 # This scripts extracts a crosstool-NG configuration from the log file

 # of a toolchain build with crosstool-NG.

 # Usage: cat <logfile> |$0

 awk '

 BEGIN {

   dump = 0;

 }

 $0~/Dumping crosstool-NG configuration: done in/ {

   dump = 0;

 }

 dump == 1 { $1 = "" }

 dump == 1

 $0~/Dumping crosstool-NG configuration$/ {

   dump = 1;

 }

 ' |cut -d ' ' -f 2-