SHA512 (netbsd-INSTALL) = a7860861040c3df08793be776a1645505113497cffd27ad69136a63db6d96b8757285a29a1bddc957f4dcf2db8918109dd4c3789f2eb95b7829e1d924fcfe5c5
SHA512 (netbsd-INSTALL_C700) = 988654112d66c99bb918c48e69f7934e18aab1442d47f0ce68ba2acd99e78235f54a7b51f72f62a8dcaac269f016cadfa0eee62bd3a08ea7d8a19f92dace1c73