add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/drivers/platform/olpc/Makefile
..
..
@@ -1,4 +1,6 @@
1
+# SPDX-License-Identifier: GPL-2.0-only
1
2
 #
2
3
 # OLPC XO platform-specific drivers
3
4
 #
4
-obj-$(CONFIG_OLPC)		+= olpc-ec.o
5
+obj-$(CONFIG_OLPC_EC)		+= olpc-ec.o
6
+obj-$(CONFIG_OLPC_XO175_EC)	+= olpc-xo175-ec.o