[openwrt/openwrt] kernel: add disabled PROC_STRIPPED

[LEDE Commits]

adrian pushed a commit to openwrt/openwrt.git, branch master:
https://git.openwrt.org/ccf65613daf155c78b38081dc3b8b5ca22a6f9ed

commit ccf65613daf155c78b38081dc3b8b5ca22a6f9ed
Author: Sungbo Eo <mans0n at gorani.run>
AuthorDate: Fri Dec 25 20:14:23 2020 +0900

    kernel: add disabled PROC_STRIPPED
    
    Otherwise the missing symbol is added to target config for every kernel
    config refresh.
    
    While at it, remove the disabled symbol from target configs.
    
    Fixes: 4943bc5cff47 ("kernel: only strip proc for small flash devices")
    Signed-off-by: Sungbo Eo <mans0n at gorani.run>
---
 target/linux/generic/config-5.4        | 1 +
 target/linux/ipq807x/config-default    | 1 -
 target/linux/rockchip/armv8/config-5.4 | 1 -
 target/linux/zynq/config-5.4           | 1 -
 4 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/target/linux/generic/config-5.4 b/target/linux/generic/config-5.4
index 8473817000..46bc731f04 100644
--- a/target/linux/generic/config-5.4
+++ b/target/linux/generic/config-5.4
@@ -4123,6 +4123,7 @@ CONFIG_PRINT_STACK_DEPTH=64
 CONFIG_PROC_FS=y
 # CONFIG_PROC_KCORE is not set
 # CONFIG_PROC_PAGE_MONITOR is not set
+# CONFIG_PROC_STRIPPED is not set
 CONFIG_PROC_SYSCTL=y
 # CONFIG_PROC_VMCORE_DEVICE_DUMP is not set
 # CONFIG_PROFILE_ALL_BRANCHES is not set
diff --git a/target/linux/ipq807x/config-default b/target/linux/ipq807x/config-default
index 337e660cdf..9ee84791a1 100644
--- a/target/linux/ipq807x/config-default
+++ b/target/linux/ipq807x/config-default
@@ -502,7 +502,6 @@ CONFIG_PREEMPT_COUNT=y
 CONFIG_PREEMPT_RCU=y
 CONFIG_PRINTK_TIME=y
 CONFIG_PROC_PAGE_MONITOR=y
-# CONFIG_PROC_STRIPPED is not set
 CONFIG_PTP_1588_CLOCK=y
 CONFIG_PWM=y
 CONFIG_PWM_SYSFS=y
diff --git a/target/linux/rockchip/armv8/config-5.4 b/target/linux/rockchip/armv8/config-5.4
index f11cb3e81f..763de6fa77 100644
--- a/target/linux/rockchip/armv8/config-5.4
+++ b/target/linux/rockchip/armv8/config-5.4
@@ -346,7 +346,6 @@ CONFIG_PREEMPT_RCU=y
 CONFIG_PRINTK_TIME=y
 # CONFIG_PRINT_QUOTA_WARNING is not set
 CONFIG_PROC_PAGE_MONITOR=y
-# CONFIG_PROC_STRIPPED is not set
 CONFIG_PROC_VMCORE=y
 CONFIG_PWM=y
 CONFIG_PWM_ROCKCHIP=y
diff --git a/target/linux/zynq/config-5.4 b/target/linux/zynq/config-5.4
index 04fde2add2..8d702a83b9 100644
--- a/target/linux/zynq/config-5.4
+++ b/target/linux/zynq/config-5.4
@@ -514,7 +514,6 @@ CONFIG_POWER_RESET_VEXPRESS=y
 CONFIG_POWER_SUPPLY=y
 CONFIG_PPS=y
 CONFIG_PROC_EVENTS=y
-# CONFIG_PROC_STRIPPED is not set
 CONFIG_PTP_1588_CLOCK=y
 CONFIG_R8169=y
 CONFIG_RAS=y