Re: Changing default kernel