output: 0x0000000001000000 output_len: 0x0000000009ecfb28 kernel_total_size: 0x000000000b426000 trampoline_32bit: 0x000000000009d000 Decompressing Linux... Parsing ELF... done. Booting the kernel.