Re: Building which kernel?