Update kmem.h