SHA512 (netbsd-INSTALL) = 7b9e518d22e7b7bd23bcdc77688ebe1c4acf4cd546bb3c09c8e140d6383a5425c72238a59dc3cb7bc0003ac3c2a895236debfc88bc881d2e94476a419b225ccb
SHA512 (netbsd-INSTALL_C700) = 52618f7113e3b9315c98d0a171444cba995983b6947a5869158aff2f5eabbb81f4afec8fd7676dac57b051d16681b47b84f418c3b625e02e8f22709e18766b1f