SHA512 (netbsd-INSTALL) = fd7e77c02cbb1017826656514cc2361b2fa5c398f526720ca2a1d11b4f67069f89b9575ee94079247746877896c2b0596a6c88b2e76655c4c15300b3a28b6cdb
SHA512 (netbsd-INSTALL_C700) = 27838adbd3e99ddf6a522ed817ed10e5550a4ad26da2942f9fccd0db17bc622fd4f1f1b4a1f1191900b49fb1a0f01f0483c2e32649569b558fb3b6b10a9c43c0