bugfix - use kernel file