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>

# Menu for the native GDB

config GDB_NATIVE

    bool

    prompt "Native gdb"

    depends on ! BARE_METAL

    depends on ! BACKEND

    help

      Build and install a native gdb for the target, to run on the target.

if GDB_NATIVE

config GDB_NATIVE_STATIC

    bool

    prompt "Build a static native gdb"

    help

      In case you have trouble with dynamic loading of shared libraries,

      you will find that a static gdb comes in handy.

endif # GDB_NATIVE