Support for more kernel types that we may want to use