SHA512 (netbsd-INSTALL) = d7a32b9d61423d1ec115cfab44d1e35b74844726a7120685090be79d8fdcf292b221c4b67a477ec019d14053a651da61ea9e2cba585029b222b214695d01c1c5
SHA512 (netbsd-INSTALL_C700) = f0bfac7aed552190679e590e42c3f0232ba6051cf7459b6f6e584acb2accb8c41f5044dec66a3c726e1cc4b4070cefb41d8bc590ddac2a62d79a61ad274d4b8d