en Hutchings <ben@decadent.org.uk> 1270319923 +0100
committer David Woodhouse <David.Woodhouse@intel.com> 1274254691 +0100

intel-iommu: Set a more specific taint flag for invalid BIOS DMAR tables

We now know how to deal with these tables so that they are harmless.
Set TAINT_FIRMWARE_WORKAROUND instead of the default TAINT_WARN.

Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
Signed-off-by: David Woodhouse <David.Woodhouse@intel.com>
�9���