mlx4_core: Fix buddy->num_free allocation size