No passo 8 do tutorial citado, diz-se o seguinte:
Enter the following command to list your graphics adapters' PCI IDs: lspci | grep VGA
Este comando lista todos os seus adaptadores VGA e você obterá IDs diferentes para eles, porque eles estão em slots diferentes.
E, em seguida, você pode ocultar o dispositivo durante a inicialização usando a opção xen-pciback
do hide
do módulo ou desvincular o dispositivo e alocá-lo ao domU desejado.