Sent our final (for now) version of kernels.c