SHA512 (netbsd-INSTALL) = 86e5dfdb94e1e93d6f77823842c9cee851e33798966258181422b98094fdd2c65eba8651ec945543a35ba50fe9a3fedba6a9453d4eda51691ba17a57f6d01583
SHA512 (netbsd-INSTALL_C700) = 90fcdd3b05d5fe3c1dbc72677ca84c11d410dda51d2705a9855c8d893186d33fe5d2a5b6152dc2a98f87276c1f14b114373be97c47c46b2e9be9ffba4021a1d3