add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 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