Switch to our own kernel