# CONFIG_SUN50I_IOMMU is not set