# CONFIG_DMAR_DEFAULT_ON is not set
