This gets us closer to what Linux does, which hopefully improves the experience for people running Xen on affected hardware.
Ian - I'm also Cc-ing you since this feels like being on the edge between a new feature and a bug fix. 1: generalize and correct "iommu=no-igfx" handling 2: Tylersburg isoch DMAR unit with no TLB space Jan
