About diversity: We're not at the size where we would move industry. This cost of supporting ARM is higher than it needs to, because every new ARM platform and every new SoC using a new ARM platform does everything differently, there are no stable standards or backwards-compatibility.
I think there are mips laptops nowadays. Knowing nothing about it yet I'd welcome engagement with this over any rpi efforts. At least it would improve diversity more than if somebody came and supported the future rpi 95.