--- zzzz-none-000/linux-4.9.276/lib/Kconfig.debug	2021-07-20 14:21:16.000000000 +0000
+++ falcon-5530-750/linux-4.9.276/lib/Kconfig.debug	2023-04-05 08:19:02.000000000 +0000
@@ -258,7 +258,6 @@
 
 config DEBUG_FS
 	bool "Debug Filesystem"
-	select SRCU
 	help
 	  debugfs is a virtual file system that kernel developers use to put
 	  debugging files into.  Enable this option to be able to read and
@@ -396,6 +395,11 @@
 	  This may be set to 1 or 0 to enable or disable them all, or
 	  to a bitmask as described in Documentation/sysrq.txt.
 
+config MAGIC_SYSRQ_SERIAL
+	bool "Enable magic SysRq key over serial"
+	depends on MAGIC_SYSRQ
+	default y
+
 config DEBUG_KERNEL
 	bool "Kernel debugging"
 	help