It's sometimes just called "popcorn salt" and it's exactly as you describe. (And it can also be made at home from regular table salt with a food processor or mortar & pestle.)
I take a trip to the bulk-barn often enough to get “Butter Salt” it’s powdered and yellow. I suspect it’s what goes into the packages for the movie theatre.