# CONFIG_AEABI is not set CONFIG_ARCH_VERSATILE=y arm