lib/genalloc.c: remove unmatched write_lock() in gen_pool_destroy