Depends how nitpicky you want to be. There was an ARM “BBC Micro”.

https://www.retro-kit.co.uk/page.cfm/content/Acorn-BBC-Archi...

And the IBM PC used an 8088.

https://en.m.wikipedia.org/wiki/IBM_Personal_Computer