+/*
+ * User data (data section and bss) needs to be aligned.
+ * We pick 0x20 here because it is the max value elf2flt has always
+ * used in producing FLAT files, and because it seems to be large
+ * enough to make all the gcc alignment related tests happy.
+ */
+#define FLAT_DATA_ALIGN (0x20)
+
+/*
+ * User data (stack) also needs to be aligned.
+ * Here we can be a bit looser than the data sections since this
+ * needs to only meet arch ABI requirements.
+ */
+#ifdef ARCH_SLAB_MINALIGN
+#define FLAT_STACK_ALIGN (ARCH_SLAB_MINALIGN)
+#else
+#define FLAT_STACK_ALIGN (sizeof(void *))
+#endif
+