Fix default kernel detection.