Successful build of the kernel