x86/amd-iommu: Cleanup DTE flushing code