Revert "UBUNTU: SAUCE: UBUNTU: [Config] Disable CONFIG_PPC_DEBUG_RFI"

This reverts commit 1a7bb61912245f65710bf68a2871210032bc25a9.

CVE-2017-5754

BugLink: http://bugs.launchpad.net/bugs/1756121
Signed-off-by: Juerg Haefliger <juergh@canonical.com>
Signed-off-by: Stefan Bader <stefan.bader@canonical.com>

diff --git a/debian.master/config/config.common.ubuntu b/debian.master/config/config.common.ubuntu
index c7fb61b52bb400bb66b7eb5d98f4b7a61ed2978a..408ccc35db322143ae94cdc2cd7123c36e82f255 100644 (file)
--- a/debian.master/config/config.common.ubuntu
+++ b/debian.master/config/config.common.ubuntu
@@ -5950,7 +5950,6 @@ CONFIG_PPC_BOOK3S=y
 CONFIG_PPC_CHRP=y
 # CONFIG_PPC_DCR_MMIO is not set
 # CONFIG_PPC_DCR_NATIVE is not set
-# CONFIG_PPC_DEBUG_RFI is not set
 CONFIG_PPC_E500MC=y
 # CONFIG_PPC_EARLY_DEBUG is not set
 # CONFIG_PPC_EMULATED_STATS is not set