linux/scripts/extract-vmlinux