@Hammer
You raise some interesting points, and you've proven me wrong. I can't argue against your technical knowledge. But, basically the reason I say PPC can be theoretically pushed farther than x86 is because it has no legacy to emulate. The modern x86 has many workarounds for the old 8086 architecture, and yet even the best workarounds have overheads. Tricks and kludges don't make for a very efficient CPU, no matter how well they're done. Granted, that doesn't really matter as things stand, since even with its inefficiencies it's still much faster and will stay that way for the forseeable future.
(And sliding OT, this doesn't really remove the problem of any OS on x86 being unmarketable. Software doesn't sell, hardware does, as I'm sure you know. Any commercial OS would have the threefold problem of coming up against Windows, being pirated like crazy, and being consigned to The Hell of Multi-Boot as a subordinate to Windows or Linux. Until this changes, my x86 bias will remain.)