start_linux_fdt 0x80008000 0x80000000
