[PATCH 6.12 316/567] genalloc.h: fix htmldocs warning