copy 0x40080000 0x00100000 0xEF0000
copy 0x42000000 0x00FF0000 0x010000
copy 0x42100000 0x01000000 0x800000
start_linux_fdt 0x40080000 0x42000000 0x42100000 0x800000

