diff --git a/config/Config-kernel.in b/config/Config-kernel.in
index c9efed84d3f..e22fcf63826 100644
--- a/config/Config-kernel.in
+++ b/config/Config-kernel.in
@@ -35,6 +35,10 @@ config KERNEL_SWAP
 	bool "Support for paging of anonymous memory (swap)"
 	default y if !SMALL_FLASH
 
+config KERNEL_PROC_STRIPPED
+	bool "Strip non-essential /proc functionality to reduce code size"
+	default y if SMALL_FLASH
+
 config KERNEL_DEBUG_FS
 	bool "Compile the kernel with debug filesystem enabled"
 	default y
@@ -376,7 +380,7 @@ config KERNEL_AIO
 config KERNEL_IO_URING
 	bool "Compile the kernel with io_uring support"
 	default y if !SMALL_FLASH
-	depends on LINUX_5_4 
+	depends on LINUX_5_4
 
 config KERNEL_FHANDLE
 	bool "Compile the kernel with support for fhandle syscalls"
diff --git a/target/linux/generic/config-5.4 b/target/linux/generic/config-5.4
index 00fbd93ff41..8473817000d 100644
--- a/target/linux/generic/config-5.4
+++ b/target/linux/generic/config-5.4
@@ -4123,7 +4123,6 @@ 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=y
 CONFIG_PROC_SYSCTL=y
 # CONFIG_PROC_VMCORE_DEVICE_DUMP is not set
 # CONFIG_PROFILE_ALL_BRANCHES is not set