add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/drivers/media/dvb-frontends/bcm3510.c
..
..
@@ -773,7 +773,7 @@
773
773
 			deb_info("attempting to download firmware\n");
774
774
 			if ((ret = bcm3510_init_cold(st)) < 0)
775
775
 				return ret;
776
-			/* fall-through */
776
+			fallthrough;
777
777
 		case JDEC_EEPROM_LOAD_WAIT:
778
778
 			deb_info("firmware is loaded\n");
779
779
 			bcm3510_check_firmware_version(st);