add malloc in kernel.c, test-strlen works