UBUNTU: [Config] Disable CONFIG_PPC_DEBUG_RFI

CVE-2017-5754

BugLink: http://bugs.launchpad.net/bugs/1742772
Signed-off-by: Marcelo Henrique Cerri <marcelo.cerri@canonical.com>
Signed-off-by: Kleber Sacilotto de Souza <kleber.souza@canonical.com>

diff --git a/debian.master/config/config.common.ubuntu b/debian.master/config/config.common.ubuntu
index e4a363b732023455c07552ab4e462ff95997ba32..b1678d5b35960f669abc58bb1dfd2ece12967212 100644 (file)
--- a/debian.master/config/config.common.ubuntu
+++ b/debian.master/config/config.common.ubuntu
@@ -6689,6 +6689,7 @@ CONFIG_PPC_BOOK3S_64=y
 CONFIG_PPC_COPRO_BASE=y
 # CONFIG_PPC_DCR_MMIO is not set
 # CONFIG_PPC_DCR_NATIVE is not set
+# CONFIG_PPC_DEBUG_RFI is not set
 CONFIG_PPC_DENORMALISATION=y
 # CONFIG_PPC_DISABLE_WERROR is not set
 CONFIG_PPC_DOORBELL=y