SHA512 (netbsd-INSTALL) = 9383b1f295de93a8c2da0aea751f6bb1be81337e2d14957e356c8105033ef193781ff192fe4b66ef22de712fc3c62510b335c6ca33eba4853e9997066ca3c0ec
SHA512 (netbsd-INSTALL_C700) = 9c6bd5e9670ca27b60d8944cce06959954ffe11d40b3d8b9568d9c50e58cd7bbff43ad6d68f9394e4dc91a25be613e6bc7c124b1f01df8d60dc989127433ca79