Or rather the majority of actual users. Hard forks occur because people install and use the updated clients. If 90% of the miners decide to mine on the “bad” chain, but 90% of users switch to the “good” one instead, the “good” would likely still win out in terms of market cap and recognition (and the miners would naturally have to follow).