SHA512 (netbsd-INSTALL) = c60b985c2a8f72675c84b7611f0988fadaa654ed59605e92f360c9aec008bfc85e1e67c900918527062a625745986ec4d1c0e4c4206513e30b0e8ac0e0b359f1
SHA512 (netbsd-INSTALL_C700) = 13127dbf8188da00023ea1187fdf8fc92ff0e79c78b508be777c850f17cd6a5dd4317a889975ccc3bad7dfb77c5408a23e5fe1932703047063508f0a697cc201