ext4load mmc 0:1 0x48000000 xen.dtb
ext4load mmc 0:1 0x84000000 uInitramfs
ext4load mmc 0:1 0x7a000000 Image
ext4load mmc 0:1 0x48080000 xen
ext4load mmc 0:1 0x7c000000 xenpolicy

# Configure boot device in DTS
fdt addr 0x48000000
fdt resize
fdt mknode / boot_dev
fdt set /boot_dev device mmcblk0

# Boot the board
bootm 0x48080000 0x84000000 0x48000000