https://bugs.freedesktop.org/show_bug.cgi?id=101029
--- Comment #14 from Michel Dänzer michel@daenzer.net --- Looks like https://patchwork.freedesktop.org/patch/146519/ might help, or passing iommu=soft on the kernel command line might serve as a workaround.