SHA512 (netbsd-INSTALL) = 87e193e59272f38e6caa2974d760e085d862ff9a78f0576035a17d5678baea838408b6be2758980c126b2292109d71c931b6c8c593bce14178dd438ede753ca7
SHA512 (netbsd-INSTALL_C700) = eea4430e3045f3c3d4010c1dc181d8707b0fb0ed2253b135992f1f912cf437072d1fafb7b6b470e7be65669cbf018c2aeb389b31b4e56860f33fcc5488b32f24