Comment # 11 on bug 959230 from Joerg Roedel

(In reply to Toomas Aas from comment #10)
> Booting with kernel parameter 'iommu=soft' did not alleviate the problem.

Thanks for verifying this, Toomas. So the problem also shows up when no IOMMU
is in use at all.

Oliver, any other ideas?