Changed src kernel.c