SHA512 (netbsd-INSTALL) = e5dd5eebe5b90a549327ba7d649835f2df4198f788e826d47e252dd69131cd83d642907614c0eb5ec53e4a104ef862885b79d59306fe8a8e65e93d6ed9c96d1c
SHA512 (netbsd-INSTALL_C700) = 9b541bf6e716efd798c04237373354a890ddd2755e563ccd1746c233fb37a4b114d62c5249dcd5d46dab6b94e787f0d8570225b1ba844fde739a8753a3dbc98d