| fdt_high=0xffffffffffffffff | |
| initrd_high=0xffffffffffffffff | |
| scriptaddr=0x88100000 | |
| script_offset_f=0x1fff000 | |
| script_size_f=0x1000 | |
| kernel_addr_r=0x84000000 | |
| kernel_comp_addr_r=0x90000000 | |
| kernel_comp_size=0x10000000 | |
| fdt_addr_r=0x88000000 | |
| ramdisk_addr_r=0x88300000 | |
| bootcmd=devnum=0; run mmc_boot |