SHA512 (netbsd-INSTALL) = 95da452987d20f78b72e1cf4b0199344a1b35f3dcdc28464a34cf8be1cba0bc0132c62b5990701216dd0239604e24c9c0f6a7d44dbe37c684de9e76ba539bf8e
SHA512 (netbsd-INSTALL_C700) = 403dfc5c643d288fffdd27dcc70737026c8feec1ef4bc4105f57c35777a3515d27818bc5b05f3eddf6435c33a5440fc954463f9471a799e1d18888cf8b50d27a