Switch to myslim kernel