add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/arch/m68k/hp300/time.h
..
..
@@ -1,2 +1 @@
1
1
 extern void hp300_sched_init(irq_handler_t vector);
2
-extern u32 hp300_gettimeoffset(void);