SHA512 (netbsd-INSTALL) = e5497064c60e91dc60452f6891de5fdff53467fe1477012ae36579c34848e231f80b1f10003cbf93aa4dbad7c62fd9c28ec0488f4a1a011c3b3cd22a936dcd16
SHA512 (netbsd-INSTALL_C700) = 54dbb0c1f1bff5398d72ca3eba085d340c1e1a11e1fd30d357357af77c447a7221e7997c28a47a1fdc54ba511fd3aa6af82aa7a23e79e7b110b9db888bdaac16