CONFIG_THUMB2_KERNEL=y
CONFIG_AEABI=y
# CONFIG_OABI_COMPAT is not set