SHA512 (netbsd-INSTALL) = c7486eb4854302059bd6e13f04fd90426cbf2e929b9d74e5e82c55a0152687a3349a6030744e0a3e8fa1f50141b02b8a3de626a70396828232013aaef33ca1d7
SHA512 (netbsd-INSTALL_C700) = 7b7f7c47e0836bf65faa0c6677d64565c68d1c2d3b56de06390362531f948dc1330b41a2f79c8a1eef8c725b64f384573c0cc913fa2b90b1d5e7ab1dad2efa01