SHA512 (netbsd-INSTALL) = a9d73e998abee7ee0260b663f9b38e7c5694a3f8fd893ba0d12f8def06e379a9baf78948636692b1fe5b7060559e96e60203b5da1577dbe7db6fabd70e74a8e7
SHA512 (netbsd-INSTALL_C700) = a1c20c410301d3b1a184c24a93cb7683aac8a1b688e4214c0f51c4560610b5a4b6898e1d7f0b3b9c1db34580c11cff0dd9cf938cfb7bd9d4eb0cd55c589d7fae