Fix detection of outdated kernels (not available in the repos)