SHA512 (netbsd-INSTALL) = a89bbfb3c23bbe8149caaa18b71e7883543a222e82d6ba70e926222839a2ae86c7e5ebc418579e8d89f9290fda08dcf60062025aa73513181c605e94227920dd
SHA512 (netbsd-INSTALL_C700) = 18631722335e9f2f8d8709ca0b7c7bff20ef7cf05773e301c096253fdedcc8e175ede3dd888a244f81bdfaa19eb7d3c78a09234e4821ca230ccf05d039b37eb6