# CONFIG_INTEL_IOMMU_DEFAULT_ON is not set