add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/drivers/ssb/driver_mipscore.c
..
..
@@ -342,7 +342,7 @@
342
342
 				set_irq(dev, irq++);
343
343
 				break;
344
344
 			}
345
-			/* fallthrough */
345
+			fallthrough;
346
346
 		case SSB_DEV_EXTIF:
347
347
 			set_irq(dev, 0);
348
348
 			break;