UBUNTU: [Config] Disable CONFIG_PPC_DEBUG_RFI

[mirror_ubuntu-artful-kernel.git] / debian.master / config / config.common.ubuntu

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