mlx4_core: maintain available field in bitmap allocator