SHA512 (netbsd-INSTALL) = a726ec3e11784518f503605e88f594fa3acfd1c3de04e890e5e82636542b4426c32fc8bed62bcc8646c4d5bfdb0988f08151e5e7667ccb6eb159b811ec98f8f3
SHA512 (netbsd-INSTALL_C700) = 1d5e60ac41e8c5cd8bfa775d354931d802ee42e392ffc5b8b0cbc4a1cab77ccc2c04f3581375edb1c057556012f033ad2d28830774f1c50712be51697c07176f