setenv initrd_high "0xffffffff"
setenv fdt_high "0xffffffff"
setenv bootcmd "fatload mmc 0:1 0x40008000 /zImage; bootm 0x40008000"
setenv edid_load "drm_kms_helper.edid_firmware=edid/1280x720.bin"
setenv bootargs "console=tty1 console=ttySAC1,115200n8 ${edid_load} root=/dev/mmcblk0p2 rootwait ro  mem=2047M"
boot