diff --git a/src/platform/kgpe/linux.config b/src/platform/kgpe/linux.config
index 0c8b52d..47ed8b0 100644
--- a/src/platform/kgpe/linux.config
+++ b/src/platform/kgpe/linux.config
@@ -68,7 +68,7 @@ CONFIG_SPARSE_IRQ=y
 # CONFIG_GENERIC_IRQ_DEBUGFS is not set
 # end of IRQ subsystem
 
-CONFIG_CLOCKSOURCE_WATCHDOG=y
+#CONFIG_CLOCKSOURCE_WATCHDOG=y
 CONFIG_ARCH_CLOCKSOURCE_DATA=y
 CONFIG_ARCH_CLOCKSOURCE_INIT=y
 CONFIG_CLOCKSOURCE_VALIDATE_LAST_CYCLE=y
@@ -1661,15 +1661,15 @@ CONFIG_SERIAL_CORE_CONSOLE=y
 CONFIG_SERIAL_MCTRL_GPIO=y
 # CONFIG_SERIAL_DEV_BUS is not set
 # CONFIG_TTY_PRINTK is not set
-CONFIG_IPMI_HANDLER=y
-CONFIG_IPMI_DMI_DECODE=y
-CONFIG_IPMI_PLAT_DATA=y
+#CONFIG_IPMI_HANDLER=y
+#CONFIG_IPMI_DMI_DECODE=y
+#CONFIG_IPMI_PLAT_DATA=y
 # CONFIG_IPMI_PANIC_EVENT is not set
-CONFIG_IPMI_DEVICE_INTERFACE=y
-CONFIG_IPMI_SI=y
+#CONFIG_IPMI_DEVICE_INTERFACE=y
+#CONFIG_IPMI_SI=y
 # CONFIG_IPMI_SSIF is not set
-CONFIG_IPMI_WATCHDOG=y
-CONFIG_IPMI_POWEROFF=y
+#CONFIG_IPMI_WATCHDOG=y
+#CONFIG_IPMI_POWEROFF=y
 CONFIG_HW_RANDOM=m
 # CONFIG_HW_RANDOM_TIMERIOMEM is not set
 CONFIG_HW_RANDOM_INTEL=m
@@ -2168,12 +2168,12 @@ CONFIG_INT3406_THERMAL=m
 CONFIG_INTEL_PCH_THERMAL=m
 # end of Intel thermal drivers
 
-CONFIG_WATCHDOG=y
-CONFIG_WATCHDOG_CORE=y
+#CONFIG_WATCHDOG=y
+#CONFIG_WATCHDOG_CORE=y
 # CONFIG_WATCHDOG_NOWAYOUT is not set
-CONFIG_WATCHDOG_HANDLE_BOOT_ENABLED=y
-CONFIG_WATCHDOG_OPEN_TIMEOUT=0
-CONFIG_WATCHDOG_SYSFS=y
+#CONFIG_WATCHDOG_HANDLE_BOOT_ENABLED=y
+#CONFIG_WATCHDOG_OPEN_TIMEOUT=0
+#CONFIG_WATCHDOG_SYSFS=y
 
 #
 # Watchdog Pretimeout Governors