iommu_restore
if (ppc_md.iommu_restore)
ppc_md.iommu_restore();
void (*iommu_restore)(void);
iommu_restore();
ppc_md.iommu_restore = iommu_dart_restore;