Symbol: mlx4_CONFIG_DEV_set