add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/arch/arm/mach-rpc/Makefile
..
..
@@ -1,7 +1,9 @@
1
+# SPDX-License-Identifier: GPL-2.0-only
1
2
 #
2
3
 # Makefile for the linux kernel.
3
4
 #
4
5
 
5
6
 # Object file lists.
6
7
 
7
-obj-y			:= dma.o ecard.o fiq.o irq.o riscpc.o time.o
8
+obj-y	:=dma.o ecard.o ecard-loader.o fiq.o floppydma.o io-acorn.o irq.o \
9
+	  riscpc.o time.o