Prune old kernel configurations, add missing `-nopae` configuration.