diff --git a/resources/linux-config-x86_64 b/resources/linux-config-x86_64
index 9cbf2ae63..c0e8a83e7 100644
--- a/resources/linux-config-x86_64
+++ b/resources/linux-config-x86_64
@@ -1462,14 +1462,14 @@ CONFIG_HANGCHECK_TIMER=y
 # CONFIG_SPMI is not set
 # CONFIG_HSI is not set
 CONFIG_PPS=y
-CONFIG_PPS_DEBUG=y
+# CONFIG_PPS_DEBUG is not set
 
 #
 # PPS clients support
 #
-CONFIG_PPS_CLIENT_KTIMER=y
-CONFIG_PPS_CLIENT_LDISC=y
-CONFIG_PPS_CLIENT_GPIO=y
+# CONFIG_PPS_CLIENT_KTIMER is not set
+# CONFIG_PPS_CLIENT_LDISC is not set
+# CONFIG_PPS_CLIENT_GPIO is not set
 
 #
 # PPS generators support