Update kmalloc.c: add add_(free|used)_tag()