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>

 # dmalloc debug facility

 ## depends on ! BACKEND

 ##

 ## help dmalloc helps tracking memory allocation mis-usage

 ## help such as double-free, use-after-free...

 choice

     bool

     prompt "dmalloc version"

 # Don't remove next line

 # CT_INSERT_VERSION_BELOW

 config DMALLOC_V_5_5_2

     bool

     prompt "5.5.2"

 endchoice

 config DMALLOC_VERSION

     string

 # Don't remove next line

 # CT_INSERT_VERSION_STRING_BELOW

     default "5.5.2" if DMALLOC_V_5_5_2