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>

 # AVR32 specific configuration file

 ## select ARCH_SUPPORTS_32

 ## select ARCH_DEFAULT_32

 ## select ARCH_USE_MMU

 ## select ARCH_DEFAULT_BE

 ## select ARCH_SUPPORT_ARCH

 ## select ARCH_SUPPORT_CPU

 ## select ARCH_SUPPORT_TUNE

 ## select ARCH_SUPPORT_FPU

 ##

 ## help The AVR32 architecture, as defined by:

 ## help     http://www.atmel.com/products/avr32