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

# x86_64 specific options

config ARCH_x86_64

    select ARCH_SUPPORT_ARCH

    select ARCH_SUPPORT_CPU

    select ARCH_SUPPORT_TUNE

    help

      The x86_64 architecture, as defined by:

        http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html