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>

 # Dummy config file to not use a C library *at all*

 ## depends on BARE_METAL

 ##

 ## help Do not use a C library.

 ## help

 ## help This is usefull if your project is self-contained, does not rely on

 ## help an external C library, and provides all the necessary bits.

 ## help

 ## help Most probably usefull to bootloaders, as they generally don't depend

 ## help on the C library.

 ## help

 ## help If unsure: do *not* choose that, and use another option in the choice.