SHA512 (netbsd-INSTALL) = 7dd1e5619f564218031aad1d8ac3014e8e829205b3da846d58937c4a4607dc2ce010a4ab831cdaeec7a4d5f0b23c6b9b8f2d29050213ae8316fc5432ead0bae6
SHA512 (netbsd-INSTALL_C700) = bb453d3301b564ec94938e1f186d5feaab3f5f68b0bfe581a5f8b513eaea55d258c708abcf284b07ff35d019fdaf5ccc4b66b57c43ef529d8c9db11630779655