-/* We wont be loading up OS from SPL for now.. */
-#undef CONFIG_SPL_OS_BOOT
-
-/* We do not have MMC support.. yet.. */
-#undef CONFIG_SPL_LIBDISK_SUPPORT
-#undef CONFIG_SPL_MMC_SUPPORT
-#undef CONFIG_SPL_FAT_SUPPORT
-#undef CONFIG_SPL_EXT_SUPPORT
-#undef CONFIG_MMC
-#undef CONFIG_GENERIC_MMC
-#undef CONFIG_CMD_MMC
-
-/* And no support for GPIO, yet.. */
-#undef CONFIG_SPL_GPIO_SUPPORT
-