> The only Power based supercomputers I can think of are all from IBM. Does any other vendor use them?

Perhaps not but there are non-IBM Power systems available, such as those from Raptor, as well as IBM Power systems primarily intended to run Linux.

Also I think Google has looked into running Power systems, but I don't know that they have any in production.