add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/tools/hv/hv_get_dhcp_info.sh
..
..
@@ -13,7 +13,7 @@
13
13
 #	the script prints the string "Disabled" to stdout.
14
14
 #
15
15
 # Each Distro is expected to implement this script in a distro specific
16
-# fashion. For instance on Distros that ship with Network Manager enabled,
16
+# fashion. For instance, on Distros that ship with Network Manager enabled,
17
17
 # this script can be based on the Network Manager APIs for retrieving DHCP
18
18
 # information.
19
19