imx6: Update autconf.h for standalone kernel compile

include/plat/imx6/autoconf.h

@@ -69,6 +69,7 @@
 #define CONFIG_HAVE_LIB_SEL4_SIMPLE 1
 #define CONFIG_ARCH_ARM 1
 #define CONFIG_HAVE_LIB_ELF 1
+#define CONFIG_PLAT_SABRE 1
 #define CONFIG_HAVE_LIB_PLATSUPPORT 1
 #define CONFIG_NUM_DOMAINS 16
 #define CONFIG_HAVE_LIB_UTILS 1
@@ -82,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