Be a little smarter about the default kernel in rare cases where we cannot determine what was in use.