Use our own kernel again