SHA512 (netbsd-INSTALL) = 107f382e9d3f243f0c25780b66861c1320a3e2ace04e301c845c7c3dc3848af435c31a5a10b94ece97788f0f4292f7695c1b360a0f627237357d7b85cd8c6592
SHA512 (netbsd-INSTALL_C700) = 64f5bcd6065bc0cb23b656782b3b97f279d0f11ad53c5cea8db18b4a11011be4880ee47a498ee6f5ad4c955e0c517801a67b0f23470de74d5ad7761f13bdf85b