arch/arm: add option to use *eabihf tuples

Toolchains that use the hard-float ABI now are to be denoted by a tuple
ending in *eabihf, while the prevbious *eabi is now an indication that
the toolchain uses the softfloat ABI.

This is purely a cosmetic thing, for distros to differentiate their
hardfloat-ABI ports from their softfloat-ABI ports.

(note: softfloat ABI does not mean that it is using softfloats; it can
be using hardfloat instructions, but using the softfloat ABI).

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.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