Added CONFIG_AEABI