arch: add softfp support

Some architectures support a mixed hard/soft floating point, where
the compiler emits hardware floating point instructions, but passes
the operands in core (aka integer) registers.

For example, ARM supports this mode (to come in the next changeset).

Add support for softfp cross compilers to the GCC and GLIBC
configuration. Needed for Ubuntu and other distros that are softfp.

Signed-off-by: Michael Hope <michael.hope@linaro.org>
[yann.morin.1998@anciens.enib.fr: split the original patch]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

 # This file declares functions for bare metal kernel (IE. none)

 # Copyright 2008 Yann E. MORIN

 # Licensed under the GPL v2. See COPYING in the root of this package

 CT_DoKernelTupleValues() {

     # For bare-metal, there is no kernel part in the tuple

     CT_TARGET_KERNEL=

 }

 do_kernel_get() {

     :

 }

 do_kernel_extract() {

     :

 }

 do_kernel_headers() {

     :

 }