From 5919324f1b13552fc7982692b15d67d986b1b768 Mon Sep 17 00:00:00 2001
From: Tiago Marques <samarques.tiago@gmail.com>
Date: Fri, 1 Sep 2017 12:11:27 +0100
Subject: [PATCH] systems/lctr-a6xx/cfg/linux-4.4.66: Disabled pps's debug
 messages.

---
 systems/lctr-a6xx/cfg/linux-4.4.66.cfg | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/systems/lctr-a6xx/cfg/linux-4.4.66.cfg b/systems/lctr-a6xx/cfg/linux-4.4.66.cfg
index 1133ad4..867b472 100644
--- a/systems/lctr-a6xx/cfg/linux-4.4.66.cfg
+++ b/systems/lctr-a6xx/cfg/linux-4.4.66.cfg
@@ -1182,7 +1182,7 @@ CONFIG_SCx200_ACB=y
 # PPS support
 #
 CONFIG_PPS=y
-CONFIG_PPS_DEBUG=y
+# CONFIG_PPS_DEBUG is not set
 CONFIG_NTP_PPS=y
 
 #
@@ -2030,8 +2030,6 @@ CONFIG_NLS_UTF8=y
 # Kernel hacking
 #
 CONFIG_TRACE_IRQFLAGS_SUPPORT=y
-CONFIG_HAVE_KVM_IRQFD=y
-CONFIG_VFIO_VIRQFD=y
 
 #
 # printk and dmesg options