vmlinux (from vmlinuz) extraction script