Backport #973 from trunk:
Don't allow to specify an ABI for ARM EABI builds: the ABI is implied by the fact we're building for EABI.

/branches/1.2/arch/arm/functions | 19 3 16 0 +++----------------
/branches/1.2/arch/arm/config.in | 9 6 3 0 ++++++---
2 files changed, 9 insertions(+), 19 deletions(-)

# MIPS specific config options

config ARCH_mips

    select ARCH_SUPPORTS_BOTH_ENDIAN

    select ARCH_DEFAULT_BE

    select ARCH_SUPPORT_ARCH

    select ARCH_SUPPORT_ABI

    select ARCH_SUPPORT_TUNE

    help

      The MIPS architecture, as defined by:

        http://www.mips.com/