Wenn x86 PC bei Intel und AMD mit eingerechnet wird....

...dann müsste man z.B. bei Broadcom, NXP und Co. auch mindestens
alle SoCs mit einberechnen, auf denen ein Betriebssystem wie Linux
läuft.
Das sind SoCs für NAS, Highend-Settop-Boxen, Raspberry Pi usw.
Und da gibts nicht nur ARM, sondern auch MIPS in nicht geringen
Stückzahlen.