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