diff --git a/include/plat/imx31/autoconf.h b/include/plat/imx31/autoconf.h
index cbd9981f1..53514512d 100644
--- a/include/plat/imx31/autoconf.h
+++ b/include/plat/imx31/autoconf.h
@@ -83,6 +83,7 @@
 #define CONFIG_HAVE_LIB_SEL4_UTILS 1
 #define CONFIG_KERNEL_COMPILER ""
 #define CONFIG_TIME_SLICE 5
+#define CONFIG_ARCH_AARCH32 1
 #define CONFIG_KERNEL_EXTRA_CPPFLAGS ""
 #define CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES 128
 #define CONFIG_LIB_SEL4_SIMPLE_STABLE 1