tree b3ab998e983d625af1f9af318199b0c025000609
parent 64de5af000e99f32dd49ff5dd9a0fd7db1f60305
author David Woodhouse <David.Woodhouse@intel.com> 1253378243 -0700
committer David Woodhouse <David.Woodhouse@intel.com> 1253378243 -0700

intel-iommu: Kill DMAR_BROKEN_GFX_WA option.

Just make it depend on BROKEN for now, in case people scream really loud
about it (and because we might want to keep some of this logic for an
upcoming BIOS workaround, so I don't just want to rip it out entirely
just yet). But for graphics devices, it really ought to be unnecessary.

Signed-off-by: David Woodhouse <David.Woodhouse@intel.com>