GitLab

When we switched to a newer kernel version in c64d3d0e, the
cleanup_images.sh script no longer removed the linux kernel source
folder, since it still used the old version number. Now, I use a regex
to avoid this issue in the future.