fixed kernel.c