Update kmalloc(): add a TODO