Update kernel.c: print a string indicating the end of the function