# CONFIG_FAIL_IOMMU is not set