Why choose Red Hat for virtualization?