SHA512 (netbsd-INSTALL) = 2861b5bd9015bc0f84da251328eebf6586d4f2b7c8010c2df893c3ba634031711375769b83242a94166cd65b27670d8ad5efcfbb7bcac79c8de7d3e4597eea96
SHA512 (netbsd-INSTALL_C700) = d032f010a20dac06ba8270c3fc9f95f29bd08b5131dd6030c5ff2839e1990a77348ffc6f68799dbc3f05f1979d884d4d046e8499b60761391c3d8ed4d43b12d9