SHA512 (netbsd-INSTALL) = 12a398329f425e412c46e0034ac4fe375b66ec279b74efdc6a5e170981845afaa2e1a862369bae0cc870a63f18cbd50561b0dacaf4724035c50f8a748b999ad8
SHA512 (netbsd-INSTALL_C700) = e5c2c8c536b3da8bca6a73baffb3eb9fbe9c4655e5b05ad8cef3f2ff84286d2ca38d789ab172cd985a82c05147396899c5171ad8f2a3c853af5d829661f1298e