Changing default kernel