--- ./include/configs/ti_armv7_common.h.orig	2014-01-28 15:27:45.324738440 +0100
+++ ./include/configs/ti_armv7_common.h	2014-01-28 15:36:34.847432559 +0100
@@ -172,7 +172,7 @@
 #ifndef CONFIG_NOR_BOOT
 #define CONFIG_SPL
 #define CONFIG_SPL_FRAMEWORK
-#define CONFIG_SPL_OS_BOOT
+/* #define CONFIG_SPL_OS_BOOT */
 
 /*
  * Place the image at the start of the ROM defined image space.