diff --git a/product/celadon_64.cfg b/product/celadon_64.cfg
index 0af731fd..51b6f7c6 100644
--- a/product/celadon_64.cfg
+++ b/product/celadon_64.cfg
@@ -16,8 +16,6 @@ EVMM_CMPL_FLAGS += \
  -DMODULE_VMEXIT_INIT\
  -DPACK_LK \
  -DMODULE_ACPI \
- -DMODULE_VTD \
- -DDMAR_MAX_ENGINE=4 \
  -DSKIP_DMAR_GPU
 
 EVMM_CMPL_FLAGS += \
diff --git a/product/celadon_apl.cfg b/product/celadon_apl.cfg
index 0af731fd..51b6f7c6 100644
--- a/product/celadon_apl.cfg
+++ b/product/celadon_apl.cfg
@@ -16,8 +16,6 @@ EVMM_CMPL_FLAGS += \
  -DMODULE_VMEXIT_INIT\
  -DPACK_LK \
  -DMODULE_ACPI \
- -DMODULE_VTD \
- -DDMAR_MAX_ENGINE=4 \
  -DSKIP_DMAR_GPU
 
 EVMM_CMPL_FLAGS += \
diff --git a/product/celadon_clk.cfg b/product/celadon_clk.cfg
index 045ff97a..5f9bb759 100644
--- a/product/celadon_clk.cfg
+++ b/product/celadon_clk.cfg
@@ -16,8 +16,6 @@ EVMM_CMPL_FLAGS += \
  -DMODULE_VMEXIT_INIT\
  -DPACK_LK \
  -DMODULE_ACPI \
- -DMODULE_VTD \
- -DDMAR_MAX_ENGINE=4 \
  -DSKIP_DMAR_GPU
 
 EVMM_CMPL_FLAGS += \
diff --git a/product/celadon_kbl.cfg b/product/celadon_kbl.cfg
index a7117756..c0011a45 100644
--- a/product/celadon_kbl.cfg
+++ b/product/celadon_kbl.cfg
@@ -15,9 +15,7 @@ EVMM_CMPL_FLAGS += \
  -DMODULE_TSC \
  -DMODULE_VMEXIT_INIT\
  -DPACK_LK \
- -DMODULE_ACPI \
- -DMODULE_VTD \
- -DDMAR_MAX_ENGINE=4
+ -DMODULE_ACPI
 
 EVMM_CMPL_FLAGS += \
  -DAP_START_IN_HLT