SHA512 (netbsd-INSTALL) = 5d08a4a2e436bfa344f7ef60cf6a43c567799cd4da9930575e55aeb19abe983d40450599a87038aa1af917f2a4f7d554c50b4bcb108230ed1729c4888ed76327
SHA512 (netbsd-INSTALL_C700) = 2b69503ab88f4b1bbee1bf4deeb81e96cfeae4e42bf2f2772e920da905d5eb537e6bea5b631e7b56cbd7f48dc9b1149d5fb7ce6969750a25aa108d7ae9139821