SHA512 (netbsd-INSTALL) = c02226798e5ec6bee808dea7358cea45cfa5fd5d000e23fda72fc397d4f31c13793d4efd4be9544ba7a92638d634ab10c879e1b3ee26071c1de8424f908d22e8
SHA512 (netbsd-INSTALL_C700) = 104b248d796ebad10066a570dacbd64b2b3be593a6ee8e28a18f35213a9d07aae2fa8d112406c4f56b66827d73963f2404e0b02496287224f6bbefdfd1f0d908