switching default kernel