Re: new kernel naming convention?