SHA512 (netbsd-INSTALL) = 1cd3fea28a8cfcd0a8835a7dc115d5535ae0b3ca4ffc3a88156966e2157e79185d13456a505c0023f357722a340775fa34e1358aba66d244ff0b7650622b04a8
SHA512 (netbsd-INSTALL_C700) = 20fb30d4485a974a09cf30a5295cf9d86bde4558f3ed507bfe657fe13208e157a032d137d095019ac457982fa6069754c0e1bc4d7e8e02d1c77db327f055795d