fdt_addr_r=0x12000000
fdtoverlay_addr_r=0x12100000
fileaddr=c00800
filesize=b66708
kernel_addr_r=0x02000000
kernel_comp_addr_r=0x0a000000
loadaddr=0xc00800
pxefile_addr_r=0x00e00000
ramdisk_addr_r=0x12180000
scriptaddr=0x00c00000