gitlab-ci: drop unnecessary linux kernel version tag on 3.25 release branch All our CI hosts now have Linux kernel version 3.17 or higher, so we no longer need a dedicated tag. This backports commit c212c7dc8b (gitlab-ci: drop unnecessary linux kernel version tag, 2022-11-30) to the 3.25 release branch.