Comment 45 for bug 203537

There is a workaround (iommu=soft) and this problem has been fixed in later kernels. Due to the version
span between those kernels and hardy, backporting a patch would be too risky. Users who need the
hardware iommu for performance should upgrade to get a later kernel.