clean up kernel.c commented tests