SHA512 (netbsd-INSTALL) = bbcf63d4ec88be0876a04d831a3cf364b1b05ae75c36f8beba4066b91957db25c0df8134a617853aadb350c96b07989aa639434020841e35881a1c830f615241
SHA512 (netbsd-INSTALL_C700) = 94953e5223da8a32f8c6160eed2aeda81085651efd5e2e94f4d29f2f50e71e9c97a8fa58ce9902c351d45e45abd67eb840864129cf0d2fc87da748814a50b5d1