SHA512 (netbsd-INSTALL) = 0b6bdc6636e94af798c110272f260e2b3cdbe609b6a75533cd136cde952ecc20f02d8e686a1327da0833a9bdf645acf0fa609a1ae2bd8225b304f5e35da65fc5
SHA512 (netbsd-INSTALL_C700) = 7ef3d7a8738bedf47a6d3ee72c8a6e937f9e986fcd6702456834051be89d0ccd7ccda3a8279be0f6cddbb9e93cc906ccbedfc1e4e612a02d7b5a15c4bc2aa55d