Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Be a little smarter about the default kernel in rare cases where we c…
…annot determine what was in use.
- Loading branch information