Como ativar o IOMMU no kernel sid do debian

Question

Estou tentando ativar o IOMMU no meu sid debian e com esta versão do kernel:

root@ziomario-Z87-HD3:/home/ziomario# uname -r
3.14-2-amd64

a placa-mãe do meu computador é: GIGABYTE Z87-HD3

é isso que acontece:

root@ziomario-Z87-HD3:/home/ziomario# qemu-system-x86_64 -enable-kvm -m 512 -boot c -net none -hda /home/ziomario/Scrivania/windows1.img -device pci-assign,host=01:00.0
qemu-system-x86_64: -device pci-assign,host=01:00.0: No IOMMU found.  Unable to assign device "(null)"
qemu-system-x86_64: -device pci-assign,host=01:00.0: Device initialization failed.
qemu-system-x86_64: -device pci-assign,host=01:00.0: Device 'kvm-pci-assign' could not be initialized

root@ziomario-Z87-HD3:/home/ziomario# dmesg | grep -e DMAR -e IOMMU
[    0.000000] ACPI: DMAR 00000000ba1e7d40 000090 (v01 INTEL      HSW  00000001 INTL 00000001)
[    0.000000] Your BIOS is broken; DMAR reported at address 0!
[    0.008983] dmar: parse DMAR table failure.
[    0.384339] AMD IOMMUv2 driver by Joerg Roedel <[email protected]>
[    0.384340] AMD IOMMUv2 functionality not available on this system

o que devo fazer? obrigado.