I doubt the Ethereum miners will leave. It would just make Ethereum switch to PoS even faster and who would use the miners' hard fork with crazy high fees. Also I think the "official" Ethereum chain will always be the one that the founder/creater Vitalik supports.