linux_memory_size 0x3000000
copy 0x00400000 0x34100000 0x300000
copy 0x01000000 0x34400000 0x600000
start_linux 0x00400000 0x01000000 0x600000
