Recompiling the kernel