Make sure the kernel still works with our current code.