(In reply to Chester Lin from comment #6) > # load mmc 1:3 ${fdt_addr_r} /boot/dtb/<va-or-vb-dtb-file> > # fdt addr ${fdt_addr_r}; fdt rsvmem add 0x40000000 0x00001000 > # boot Confirmed, also works.