diff --git a/systems/lctr-a6xx/cfg/linux-3.5.4.cfg b/systems/lctr-a6xx/cfg/linux-3.5.4.cfg
index ca55b7e..733beac 100644
--- a/systems/lctr-a6xx/cfg/linux-3.5.4.cfg
+++ b/systems/lctr-a6xx/cfg/linux-3.5.4.cfg
@@ -1061,15 +1061,15 @@ CONFIG_SCx200_ACB=y
 #
 # PPS support
 #
-CONFIG_PPS=m
-CONFIG_PPS_DEBUG=y
+CONFIG_PPS=y
+# CONFIG_PPS_DEBUG is not set
 CONFIG_NTP_PPS=y
 
 #
 # PPS clients support
 #
 # CONFIG_PPS_CLIENT_KTIMER is not set
-CONFIG_PPS_CLIENT_LDISC=m
+CONFIG_PPS_CLIENT_LDISC=y
 # CONFIG_PPS_CLIENT_GPIO is not set
 
 #