SHA512 (netbsd-INSTALL) = 3c3666efc37a67be73776a313ea23cb1a1fc7403d3cd7ecf085eba69dfa138225700c87fd57c747fe0a96f8b3169b09e3c33b0377bdd4a9a1c7b09fbf5ab91ce
SHA512 (netbsd-INSTALL_C700) = 90a75bb3df7d2e5954fb63b38cfaa8f56944bc860cf5158d42d41dfa425548955682f729ca3aec4276bde5d5a00f54bed737bab01e86757f93bab7b7d4aaa35c