SHA512 (netbsd-INSTALL) = 33c128bcbbb0145e4f72cede74505e7f177eb768e2804c811cf7b1f94703a29d546d0c6d347276f2e39793c2567212c9e805e5366e889abeca35a6638c80d554
SHA512 (netbsd-INSTALL_C700) = 38977c9569c311400177747d7e1475f65b009c1e651329e39df42f3b3a327ea77c51fb5d27d9ce76097fb87f0215dc4238f70c114ae6a91f0192711e1d170468