diff --git a/arch/x86/soc/quark_d2000/Kconfig b/arch/x86/soc/quark_d2000/Kconfig
index 638c419783b..645938e575e 100644
--- a/arch/x86/soc/quark_d2000/Kconfig
+++ b/arch/x86/soc/quark_d2000/Kconfig
@@ -157,15 +157,16 @@ config UART_PIPE_IRQ_PRI
 endif
 
 if WATCHDOG
+config WDT_DW
+	def_bool y
 
 if WDT_DW
 config WDT_DW_BASE_ADDR
 	default 0xB0000000
 config WDT_DW_IRQ
 	default 16
-endif
-
-endif
+endif # WDT_DW
+endif # WATCHDOG
 
 if RTC
 config RTC_IRQ
diff --git a/arch/x86/soc/quark_se/Kconfig b/arch/x86/soc/quark_se/Kconfig
index 654a38d7b66..315abfd3391 100644
--- a/arch/x86/soc/quark_se/Kconfig
+++ b/arch/x86/soc/quark_se/Kconfig
@@ -235,6 +235,9 @@ endif # SPI_QMSI
 endif
 
 if WATCHDOG
+config WDT_DW
+	def_bool y
+
 if WDT_DW
 config WDT_DW_CLOCK_GATE
 	def_bool n
@@ -246,8 +249,8 @@ config WDT_DW_BASE_ADDR
 	default 0xB0000000
 config WDT_DW_IRQ
 	default 12
-endif
-endif
+endif # WDT_DW
+endif # WATCHDOG
 
 if RTC
 config RTC_IRQ