SHA512 (netbsd-INSTALL) = 64d91ebb3660080683ea418d468a3d7d00e2135f587c54faa49809d1ea18a34c9717462f2428f3748ef3913a97184bd3f0179e0b08daea47341f702ce15b7082
SHA512 (netbsd-INSTALL_C700) = 72800f01a208c07ed5b7da3588799e2f58cbe207f08e4ab0e460056ba7c2875c86aa6697d50f753df90f6cd876db377b20288c637eb54b35db6917c20168a936