Comment # 4 on bug 1169174 from Tom���� Chv��tal

Also should I boot it with "iommu=off" with respect to the error in the dmesg
output?