pci/dmar: correct off-by-one error in dmar_fault()