copy 0x80400000 0x00100000 0x300000
copy 0x80F00000 0x00400000 0x003000
copy 0x81000000 0x00500000 0x500000
start_linux_fdt 0x80400000 0x81000000 0x500000 0x80F00000
