Can we really call Xen "once-popular" when it runs behind major cloud services like Amazon's EC2 and linode.com?