 -			"setenv fdtfile am335x-evmsk.dtb; fi; " \
 -		"if test $fdtfile = undefined; then " \
 -			"echo WARNING: Could not determine device tree to use; fi; \0" \
-+        "mmcboot=mmcboot=mmc dev ${mmcdev}; " \
++        "mmcboot=mmc dev ${mmcdev}; " \
 +                "if mmc rescan; then " \
 +                        "echo SD/MMC found on device ${mmcdev};" \
 +                        "if run loadbootenv; then " \

 	"mmcloados=run args_mmc; " \
 		"if test ${boot_fdt} = yes || test ${boot_fdt} = try; then " \
 			"if run loadfdt; then " \
@@ -120,56 +137,44 @@
 		"else " \
 			"bootz; " \
 		"fi;\0" \

 /* NAND: SPL related configs */
 #ifdef CONFIG_SPL_NAND_SUPPORT
 #define CONFIG_SPL_NAND_AM33XX_BCH
@@ -392,35 +393,6 @@
  * 0x0E0000 - 0x442000 : Linux Kernel
  * 0x442000 - 0x800000 : Userland
  */
