Amazon left Xen years ago and now uses heavily customized derivative of KVM called Nitro.