SHA512 (netbsd-INSTALL) = 71cc222fbb4789eaf0aa9efda5812f7df50483c859fc5e9779ccba00041954bc822049f54c295e0bfef44e71e3a7cd3067630d8c9f08a338de52489d47baee2e
SHA512 (netbsd-INSTALL_C700) = 3353343ab720520d042e8c0ce8f49255a0e748e7ad1b17649979b107a4e7f9da52cec5c4138f213301ea737266dcc0d7c884022a46c7e4d3e9df40d6fcd661e0