add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/arch/nios2/Kconfig.debug
..
..
@@ -1,8 +1,5 @@
1
1
 # SPDX-License-Identifier: GPL-2.0
2
2
 
3
-config TRACE_IRQFLAGS_SUPPORT
4
-	def_bool y
5
-
6
3
 config EARLY_PRINTK
7
4
 	bool "Activate early kernel debugging"
8
5
 	default y