[PATCH 4.19 72/79] iommu/amd: Flush old domains in kdump kernel