No vácuo da VMware, Red Hat quer crescer em virtualização