tools/jenkins-build.sh: archive vmlinuz
tools/jenkins-build.sh: archive vmlinuz

redhat-cip/edeploy,lebauce/edeploy,enovance/edeploy,lebauce/edeploy,enovance/edeploy,lebauce/edeploy,redhat-cip/edeploy,enovance/edeploy,redhat-cip/edeploy,enovance/edeploy,redhat-cip/edeploy,lebauce/edeploy