Remove comments in kernel.c