Update kernel.c

add simple function pointer