SHA512 (netbsd-INSTALL) = 5f190730731be7c4b8fa4280575fd460a21ce0dedb8a77c9fd52c9d6efd310f54f3e348eb821feb4f4b0759c13aefbe3298d5e995fab61ad3aa9871217edc766
SHA512 (netbsd-INSTALL_C700) = f1f8d70c46b39bd2178f7a8092887b8a944a0c3739055f69b3e40de242153066bcabfbc19d56f83a4fdecc8ac3b0d87e22f09ab16811e7874d6e506f105e881d