[PATCH] fix broken lib/genalloc.c