Update kmalloc.c: add TODO