copy 0x70008000 0x40100000 0xEF0000
copy 0x72000000 0x40FF0000 0x10000
copy 0x72100000 0x41000000 0x800000
start_linux_fdt 0x70008000 0x72000000 0x72100000 0x800000
