output_len: 0x0000000008eb6ad0 kernel_total_size: 0x0000000009826000 needed_size: 0x0000000009a00000 trampoline_32bit: 0x000000000009d000 Decompressing Linux... Parsing ELF... done. Booting the kernel. Welcome to Debian GNU/Linux 9 (stretch)!