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>

 # Bare metal config options

 ## select BARE_METAL

 ##

 ## help 'Bare metal' refers to those programs that run without any kernel.

 ## help

 ## help You probably want to say 'y' here if you plan to use your compiler

 ## help to build bootloaders. It is not yet suitable to build Linux kernels,

 ## help though, because the APCI stuff relies on the target C library headers

 ## help being available?!?!...