SHA512 (netbsd-INSTALL) = 8c2d34def411b01f6efb7d68a37936b2b637602c4abd218ebc3a6ca006112b23bfb83d374412afbc891d7bc91553fcff2bd93f10a2bce83c67146e30fe6a95ec
SHA512 (netbsd-INSTALL_C700) = 9f67a7b9af97a776376410caf7d01feb10d8330bcaf006b92d54121d08bd4aa44eaf8f57c68931c5087df1d15fd0e08535ebf9340a446da55cf96e9bc45ef871