+1 Sans compter que l'on peut faire du VTD (accès direct au matériels)/VGA passthroug si le cpu/cm le supporte...
Et les pilotes spice pour MS windows, ils se trouvent ici :
http://www.spice-space.org/download.html
D'ailleurs on peut utiliser aussi Xen avec virtmanager...
Et Docker-io et OpenNebula... (bon j'arrête je vais vous perdre je le sent :-P).
Au passage la doc est en retard de qqes génération, ce n'est plus le cas.
Par contre n'oubliez pas de remplacer le type de chipset par celui qui est "expérimental" (dsl j'ai plus le nom étant sous CentOS qui n'a pas cette option 😢), les perfs sont meilleurs et le support matériel aussi, surtout niveau VTD (mais là encore ça dépend de votre cpu/cm).