fixup! Linux: Add script to build vmlinux