SHA512 (netbsd-INSTALL) = 1f986fd094f276c55fe10307e1ed037dbe8ce5e8ea55d8e4bb77357ed26bd49bea5077ac008fdbece8b6bcfc357ac79d90833a5c2f84f0b0bf41187d1af10ec3
SHA512 (netbsd-INSTALL_C700) = 903818a688916bb69837ec8f7f5886cccd4d1be39dcd6745440ecb549322f9da22b04712d0042d70329629ceb3a02aa037471ade9c39ce813fc58c15ceffe22e