output_len: 0x000000000df4ead8
kernel_total_size: 0x000000000ea26000
needed_size: 0x000000000ec00000
trampoline_32bit: 0x000000000009d000
Decompressing Linux... Parsing ELF... done.
Booting the kernel.