Comment 69 for bug 914161

I've been running the latest precise kern now for over 6h without problems.

However, passing 'intel_iommu=on' to the kernel command line does make the problem re-appear. So this indeed seems to be a bug in the intel iommu driver.