# CONFIG_MLX4_CORE_GEN2 is not set
