Update kernel.c: move including assert.h upper