Try out another kernel