vmlinux_to_elf
