modify kernel.h & kernel.c
move some declaration into kernel.h