add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/arch/powerpc/sysdev/xive/Kconfig
..
..
@@ -1,17 +1,14 @@
1
1
 # SPDX-License-Identifier: GPL-2.0
2
2
 config PPC_XIVE
3
3
 	bool
4
-	default n
5
4
 	select PPC_SMP_MUXED_IPI
6
5
 	select HARDIRQS_SW_RESEND
7
6
 
8
7
 config PPC_XIVE_NATIVE
9
8
 	bool
10
-	default n
11
9
 	select PPC_XIVE
12
10
 	depends on PPC_POWERNV
13
11
 
14
12
 config PPC_XIVE_SPAPR
15
13
 	bool
16
-	default n
17
14
 	select PPC_XIVE