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>

 # 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.