From d20e296cfa9cc7bba1e9b34f3c1373513163e707 Mon Sep 17 00:00:00 2001
From: Peter Robinson <pbrobinson@gmail.com>
Date: Fri, 19 Jul 2019 18:56:13 +0100
Subject: Bug 1576593 - work around while vendor investigates arm builder LPAE
 HW issue

---
 kernel-armv7hl-debug.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel-armv7hl-debug.config')

diff --git a/kernel-armv7hl-debug.config b/kernel-armv7hl-debug.config
index d45a2492d..c0fa55c78 100644
--- a/kernel-armv7hl-debug.config
+++ b/kernel-armv7hl-debug.config
@@ -2198,7 +2198,7 @@ CONFIG_HID=y
 CONFIG_HID_ZEROPLUS=m
 CONFIG_HID_ZYDACRON=m
 CONFIG_HIGHMEM=y
-CONFIG_HIGHPTE=y
+# CONFIG_HIGHPTE is not set
 CONFIG_HIGH_RES_TIMERS=y
 # CONFIG_HIPPI is not set
 CONFIG_HISAX_16_3=y
-- 
cgit