vmlinux-to-elf: recover a fully analyzable .ELF from a raw kernel