BTW, although the bug itself could be worked around with the option, I merged a few emu10k1 fixes from upstream, as relevant with iommu, too.