SHA512 (netbsd-INSTALL) = ab558298faeccaf9825f5517b0ee1a5d3db9d41bd4364ad8a8eb92e795d3d348e42f21cc6745ef291fca2c4afdd1de8a8f36a559f0424a74e5e5ff11c602b02b
SHA512 (netbsd-INSTALL_C700) = e3cc0ebccac56c5a846b08013dc0a7c441f741b617f8bf5b9185c20c12713927ea26c6a023bd036119bb9cbf7a0d4678f3688099a90e095035c1c81a3e2866d6