Tiago,
Eu não precisei fazer nada além dos procedimentos que listei, mas creio que, no teu caso, você deva habilitar o IOMMU (Input/Output Memory Management Unit) na BIOS e/ou no host do XEN.
O procedimento para habilitar na BIOS, depende do teu hardware.
Uns aritigos da citrix dizem como habilitar no host:
Enable IOMMU on the host.
Edit “/boot/extlinux.conf” and add
iommu=1 iommu_inclusive_mapping=1 right after all the instances of /boot/xen.gz
As an example a line with those options looks like this:
append /boot/xen.gz iommu=1 iommu_inclusive_mapping=1 com1=115200,8n1 console=com1,vga dom0_mem=752M lowmem_emergency_pool=1M crashkernel=64M@32M --- /boot/vmlinuz-2.6-xen root=LABEL=root-rqrdbtjz ro console=tty0 xencons=hvc console=hvc0 --- /boot/initrd-2.6-xen.img
abraços,