SHA512 (netbsd-INSTALL) = 6e5201bf9c448c1cb48684fdd313e5bc2b7cadbf5f308534c1dda798d38beb4e4a5fa359bed2433b5e32d5ca0238186c0f85b2e580c2800ede67491a8f5c3538
SHA512 (netbsd-INSTALL_C700) = 1e063b9858f34dcf610da3059ba9891a7da22ff942a49e90fa9ccbf0128e07a898815ea55d1841d6261ad7ebe58264347f169fe16efe0446a46aaa7c6437fd94