UBUNTU: [Config] Enable live patching on powerpc/ppc64el

[mirror_ubuntu-zesty-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 3dca8d5504eb8e8af879c5e0d59c4dfdfb0bc25d..7a03015c163da08c65035b45165c3d10851446e5 100644 (file)
--- a/debian.master/config/config.common.ubuntu
+++ b/debian.master/config/config.common.ubuntu
@@ -1908,7 +1908,7 @@ CONFIG_DE_AOC=y
 CONFIG_DGNC=m
 CONFIG_DHT11=m
 CONFIG_DIAG288_WATCHDOG=m
-CONFIG_DISABLE_MPROFILE_KERNEL=y
+# CONFIG_DISABLE_MPROFILE_KERNEL is not set
 CONFIG_DL2K=m
 CONFIG_DLCI=m
 CONFIG_DLCI_MAX=8
@@ -4838,7 +4838,7 @@ CONFIG_MPL3115=m
 CONFIG_MPLS=y
 CONFIG_MPLS_IPTUNNEL=m
 CONFIG_MPLS_ROUTING=m
-# CONFIG_MPROFILE_KERNEL is not set
+CONFIG_MPROFILE_KERNEL=y
 # CONFIG_MPSC is not set
 CONFIG_MRP=m
 CONFIG_MS5611=m