SHA512 (netbsd-INSTALL) = 0aeb7818b927c92e6cd30fee3d3ca31b1ec11f23082eb4b7cb79365a9c5ae117f8c3435ecc01fddc279ba9872951115cd2b7511a433a9b17fc7d20c7dc4e7bdf
SHA512 (netbsd-INSTALL_C700) = 9aae4911873e8261120723569dea587570082a74defaf917175b6f2369fc908310263f08829abe4de9435a45ce6fcb815115c8c6e81a15a4c98ffc4c51009472