Push the calculation of the tuple's kernel part down to kernel's build scripts:
- update the kernel script's API with the function CT_DiKernelTupleValues
- update doc accordingly (also with the architecture change, missing in the previous commit)
- small clean-up in the main script, remove useless test

/trunk/scripts/build/kernel/bare-metal.sh | 5 5 0 0 +++++
/trunk/scripts/build/kernel/linux.sh | 5 5 0 0 +++++
/trunk/scripts/crosstool.sh | 31 13 18 0 +++++++++++++------------------
/trunk/scripts/functions | 15 8 7 0 ++++++++-------
/trunk/docs/overview.txt | 13 9 4 0 +++++++++----
5 files changed, 40 insertions(+), 29 deletions(-)

 # ARM specific configuration file

 config ARCH_arm

     select ARCH_SUPPORTS_BOTH_ENDIAN

     select ARCH_DEFAULT_LE

     select ARCH_SUPPORT_ARCH

     select ARCH_SUPPORT_CPU

     select ARCH_SUPPORT_TUNE

     select ARCH_SUPPORT_FPU

     help

       The ARM architecture, as defined by:

         http://www.arm.com/

 config ARCH_ARM_EABI

     bool

     prompt "Use EABI"

     default n

     help

       Set up the toolchain so that it generates EABI-compliant binaries.

 config ARCH_ARM_ABI_OK

     bool

     default y

     depends on ! ARCH_ARM_EABI

     select ARCH_SUPPORT_ABI