My understanding was that NASA’s Amigas were only used in ground control and not launched into orbit, although I could be wrong.
The planning and design for these missions happens years before launch so the onboard electronics tend to be quite a bit behind consumer technology by the time the missions are operational. I seem to remember a few years ago there was a story that one of the Mars rovers, I think, was using a (space-grade) G3 PPC chip, loooong past the time when G3s were in widespread use here on Earth.
