SHA512 (netbsd-INSTALL) = a682d8784a71271995eec148a23328fff3b29ab1e28f06c8078308f500648b30c227b82e3ce85c2582a2bbb36478c1ea3da0bcf21a2b467a54bf01d6df004212
SHA512 (netbsd-INSTALL_C700) = 41c268c8591b27f7dc19cdcef14f6cb8c54ed67909d534d011260dd3c822cd296cc20ac82ce3b25859a95e47222e663eb7dc8909485c70127ac11c6ca306215b