Update kernel.c