SHA512 (netbsd-INSTALL) = 20149ebcd0b280cda14c12a0d36d633873baae86706aac562f8b1e2add8c3127303fa0a6b10950af784b7dc24cb75cd36cc4bcbdaa036a5c2e730e8a2c7ee757
SHA512 (netbsd-INSTALL_C700) = 88c8a3642c07d5a35ac4efa5f7a00538c4fe8fb3f32261168915962c9ce55808cb23b91cff7b3d6f11143edb1ba8d65936bcdc057f10a65b28aa2509e9b4fe2f