SHA512 (netbsd-INSTALL) = 925f57da9d66d2603cefc9658b30b20f8f8c2aef192402deb5f7cd9c40c165b1753018fe67308dc7d29f0b791dd1ace5b866421126f2644953663370c44f78f1
SHA512 (netbsd-INSTALL_C700) = 50afc8e4edd27318a731277fd8eda67333a9dbb237ad7882e4d91a71b273cb67bb86627ebaabc75e51df5fa883cd8775e74c67a22385b69d206dad614a9b98c2