the [Power/AIX] virtualization is insanely good in practice

This is my experience as well. IMO, Power/AIX has the most sophisticated virtualization available. IBM just has no idea how to market it.