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