# CONFIG_IOMMU_DEFAULT_PASSTHROUGH is not set