SHA512 (netbsd-INSTALL) = c277c6b0458fce830332066cd596c01a91b9fc186a607ac7e0827e8ea763266b1d91f5018d87358e0a91d1ec83de92e4ec306fc26494e43c98498e81afe0f2ef
SHA512 (netbsd-INSTALL_C700) = 84384b1376bc0008dcd40cca0fd4288e6cfb6ed9e2cbcc0780095d4e3cb6f3518d809475de1fbaec0ecacf43d2d25f06e4d87ddac513cc0ccacfa03c9b29a631