enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

 kernel/arch/microblaze/Kconfig.debug
..
..
@@ -1,5 +1,6 @@
1
+# SPDX-License-Identifier: GPL-2.0-only
1
2
 # For a description of the syntax of this configuration file,
2
-# see Documentation/kbuild/kconfig-language.txt.
3
+# see Documentation/kbuild/kconfig-language.rst.
3
4
 
4
5
 config TRACE_IRQFLAGS_SUPPORT
5
6
 	def_bool y