Symbol: mlx4_bf_alloc