Should we say something like "Deis is designed to work with any cloud provider that supports CoreOS"?