remove some commented code from kernel.c
those are the same as kernel.h