Would that be simple as running a CoreOS image inside Xen? Does it make sense?