Switch the arm-rtems4.11 to use EABI. The patch do this is taken from http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53325.