Download kernels from gitlab instead of jenkins
The kernel builds using build kernels from jenkins was broken for 6mo and we did not notice. Rather than using that use the gitlab-ci artifacts for the 'current' and 'next' kernel flavors since these are using by us for testing as well. On how to fetch them see https://docs.gitlab.com/ee/ci/pipelines/job_artifacts.html#downloading-the-latest-artifacts .