SHA512 (netbsd-INSTALL) = 884e39d56575d6aaf8f0007b309efd586f9f871f57a2e8aee3f72dad2a524e19e12d1f36c7103036722cd1b030793fa95eb95426bf74a2e280bc4a1169ba22f7
SHA512 (netbsd-INSTALL_C700) = 2189287d688ec7348d55708494d92c0e112713fba3846118e1f023457a73421028aabe152ceba92f62aefba48034c75887e650acc24781e2d94fa408b49dcf8e