Update kmalloc.h: remove FIXME