SHA512 (netbsd-INSTALL) = 5f212c53639b824242b6cc375becbd72491c147fe534ab7c2913bcd2fa70e3b1edd7c4afbc52918ee8af9b8bea6c01e718d609ef2d8d2ccf13de2e4f4ce65517
SHA512 (netbsd-INSTALL_C700) = beaa954874fa1a9fd86480991231a571ab3c135bb89bbba37421c92264a1d0494606ef6c99c172d679f5aaf38eed5e7259fe54f31c1070b39b09db8d063d53a4