SHA512 (netbsd-INSTALL) = 8e87fcb3548c31ab80c44362e689b23715143603db686bf30b6f910658119bc85fbac9ba808cc9ce58e3e948ea4a7332667169505cd1183a2c9e724304474788
SHA512 (netbsd-INSTALL_C700) = 2d3b5fee4fe5b1dd5769c271b9a1f796f3545820e927975e11d04fa086739b62bda7b2361da85fd0618e49a8f6816fdb15474aafa285aeea147c30a0c55df4bd