setenv initrd_high "0xffffffff"
setenv fdt_high "0xffffffff"
setenv bootcmd "fatload mmc 0:2 0x40007000 uImage-litmus; fatload mmc 0:2 0x42000000 uInitrd-litmus; fatload mmc 0:2 0x41f00000 board.dtb; bootm 0x40007000 0x42000000"
setenv bootargs "console=tty1 console=ttySAC1,115200n8  root=UUID=c21f1426-e878-4f05-a063-0a9c5e4234d0 rootwait ro"
boot