change default kernel