new kernel naming convention?