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(-)

# ia64 specific config options

config ARCH_ia64

    select ARCH_SUPPORTS_BOTH_ENDIAN

    help

      The ia64 architecture, as defined by:

        http://www.intel.com/design/itanium/arch_spec.htm