add malloc() in kernel.c