I've had a handful of computers with CPUs made by VIA, so there's at least a small third option.

https://en.wikipedia.org/wiki/VIA_Technologies