the kernel now compiles