SHA512 (netbsd-INSTALL) = b120069b9ee49df9f083c2a901d25983b1f7e8b01bd55347ab78d8743637013779178938be9b86431a42b3c3caa733e3adc8b99217a1b63d9c661c2d5ab0e9b3
SHA512 (netbsd-INSTALL_C700) = e572e251f95d754f5bd3448cfac08325d46d5edcd031eb415763164a1df1d08fdbb8805765a69c6e86f71366d0613a8bd954b32694a6f5bdafd36f84a7e1f308