gerrit-public.fairphone.software / kernel / msm-4.9 / refs/heads/int/10/fp3 / scripts / extract-vmlinux