update kernel.c