Update kernel.c

Added fix for "\n"