Update kmalloc(.c|.h) and kernel.c: add kfree()