SHA512 (netbsd-INSTALL) = 8e0abcccd8ac1e15c5014001a131e666c59a2134d0cfc8846acfe78be75451146a9ac67e8a60c7afd0a98e95c4bd5582f1462559c94a0e34df6e022fba2db1b3
SHA512 (netbsd-INSTALL_C700) = 55cad99d66b3f40dc2954bb349bf76d6b3c96f4ef504ffeeb3dd8b3a3af5a41ec9069b02497ccbbb0cae7db43fde37e4d93d56bf364f66249025cbfd4bdfc05e