The real problem here is that the iommu sequence ID overflows ifIs this something that could be figured out when parsing the dmar
DMAR_UNITS_SUPPORTED is not big enough. This is purely a software
implementation issue, I am not sure whether user opt-in when building a
kernel package could help a lot here.
table? It looks like currently iommu_refcnt[], iommu_did[], and
dmar_seq_ids[] depend on it.