That’s probably most similar to what we’d call “flaked corn”, but it’s not something that we see commonly in stores (in America, at least). It is somewhat similar to “corn flakes” which are different.
It’s mainly used for brewing and distilling, and it’s made by taking dry corn, partially cooking it with water, putting it through a roller mill, and then drying it out.
Reading about farinha de milho, it actually might be similar to “corn flakes”, though. It’s a breakfast cereal made by taking ground corn and cooking it in water, and then drying it out in little sheets. It is super common to use as an ingredient in things like fried chicken batter, or as a topping to things you want to be crispy.
So I’m guessing you have some kind of mixing valve set up to handle this going out? Also, are the tanks rated to that high of temperatures?