tools/jenkins-build.sh: archive vmlinuz