Re: choosing kernel on intel?