googlers / maze / linux / 6dbe51c251a327e012439c4772097a13df43c5b8 / scripts / extract-vmlinux