move defines in kernel.c to kernel.h