  /*
   * Routine: get_sdio2_config
   * Description: Return information about the wifi module connection
-@@ -337,7 +376,7 @@ int board_eth_init(bd_t *bis)
+@@ -337,7 +377,7 @@ int board_eth_init(bd_t *bis)
  	return rc;
  }
  

+ * header. That is 0x800FFFC0--0x80100000 should not be used for any
+ * other needs.
+ */
+#define CONFIG_SYS_TEXT_BASE		0x80100000
+#define CONFIG_SYS_SPL_MALLOC_START	0x80208000
+#define CONFIG_SYS_SPL_MALLOC_SIZE	0x100000
+
 #endif				/* __CONFIG_H */
-- 
1.7.6.4


-
-CONFIG_SYS_TEXT_BASE = 0x80008000
diff --git a/board/overo/overo.c b/board/overo/overo.c
index 3c60b06..c2dbe52 100644
--- a/board/overo/overo.c
+++ b/board/overo/overo.c
@@ -31,6 +31,7 @@
