lib/genalloc.c: correct dev_get_gen_pool documentation