add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

1
2
# From http://snapshot.debian.org/archive/debian/20170727T214450Z/pool/main/w/whois/whois_5.2.17.dsc
sha256    257585678f571e18964667b41dc6543fe9da6123ac95743660c9c3ae1eba9664    whois_5.2.17.tar.xz