googlers / maze / linux / fb10d5b7efbcc0aa9e46a9aa5ad86772c7bacb9a / scripts / extract-vmlinux