FYI, as a workaround, you can use the kernel opt:

 iommu=pt

..at least, on 4.20 rc7, which is the only one I've tried that on, but it
should work with others.