SHA512 (netbsd-INSTALL) = 15fa58cdfd7dc7517ac69d6c0a0b8225b4fbc0af5d0d149991f0b285d8a4fe0064dff4c37d309d3389ba96439b7f03598eeb01ed893d916432ea66b716a5bf57
SHA512 (netbsd-INSTALL_C700) = d90ece837f67a4e25ea4aaf2eac69a5bebbdd968bcd67440706a755c812b73f877649c9f183a8c2a0ef58589ffee987fc0651ddd186f477860d3c551e9178a93