arch/arm: OABI is no more, switch to only EABI

Well, leave the prompt as an OBSOLETE thing, scheduled to
be removed soon.

As an indication OABI lives its last days, gcc-4.8 will no
longer recognise non-EABI targets.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>

 python

 import sys

 sys.path.insert(0, '@@PREFIX@@/share/gcc-@@VERSION@@/python')

 from libstdcxx.v6.printers import register_libstdcxx_printers

 register_libstdcxx_printers (None)

 end