SHA512 (netbsd-INSTALL) = 5c54c96651e26c66225c88a31870646ffce6eca00764a35aba71e9bb5b8f5aa760c08c16cdfb93f0f2b6374820e2ec5718100f867b7188510e689b10e2d682c4
SHA512 (netbsd-INSTALL_C700) = 139222d431f0bc95cf66fcfc8fd28cccdfcce976ee03adf826ba044246bea2292b93844c90979081eef55874d6402fff02be4eed83e0d00ba4d46053e07797d2