diff --git a/include/plat/imx31/autoconf.h b/include/plat/imx31/autoconf.h
index 720c27b89..4e2d69a63 100644
--- a/include/plat/imx31/autoconf.h
+++ b/include/plat/imx31/autoconf.h
@@ -15,6 +15,7 @@
 #define CONFIG_LIB_SEL4_VKA 1
 #define CONFIG_HAVE_CRT 1
 #define CONFIG_TIMER_TICK_MS 2
+#define CONFIG_IPC_BUF_GLOBALS_FRAME 1
 #define CONFIG_ARM_ERRATA_764369 1
 #define CONFIG_KERNEL_CFLAGS ""
 #define CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START 1