gerrit-public.fairphone.software / kernel / msm-4.9 / 72d5fb7f67de5d8a2e5f12a98e66b10209aa4a65 / scripts / extract-vmlinux