complete make check
add file kernel.h and disable some code in kernel.c
add new files for verification(test-*in,unit-test.c,unit-test.h)
add make check in Makefile