add post kernel-genalloc.md