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

 --- gcc-4.2.1-stock/gcc/config/alpha/linux-unwind.h	2005-06-24 20:22:41.000000000 -0500

 +++ gcc-4.2.1/gcc/config/alpha/linux-unwind.h	2007-09-01 20:21:34.000000000 -0500

 @@ -29,6 +29,9 @@ Boston, MA 02110-1301, USA.  */

  /* Do code reading to identify a signal frame, and set the frame

     state data appropriately.  See unwind-dw2.c for the structs.  */

 +/* Don't use this if inhibit_libc is set

 +   The build for this target will fail trying to include missing headers */

 +#ifndef inhibit_libc

  #include <signal.h>

  #include <sys/ucontext.h>

 @@ -80,3 +83,4 @@ alpha_fallback_frame_state (struct _Unwi

    fs->retaddr_column = 64;

    return _URC_NO_REASON;

  }

 +#endif /* inhibit_libc */