SHA512 (netbsd-INSTALL) = 839f1298557424e39cf716101c7c6483a18db6c0050573e22a9bf465601a3ba6715fe7d78ffb608db54238c06fdbc8efe734328cd3a55c17b303f5ce0c97c691
SHA512 (netbsd-INSTALL_C700) = e60e0ab9ed563ec413d813409e3eba90147bcaa9514754425d8423e9a4e728d39ffe67dd08bb0872f67ab661b7d66572bf9dd7afeff77965000750f2f501897b