fixed pointers in kernel.c