SHA512 (netbsd-INSTALL) = 7bb10d63d1e2ca469ea4ca6f5ea34de481964065eadb1791c2a563b262ca30d323d1ae17af9022431417dd132ea30c05ec561eab67498138a2ddff7cbae52c34
SHA512 (netbsd-INSTALL_C700) = e0917f8fd92e60330acce1374145d3146f460f1dc2263fb6dcd8efb3ec5dd5f10e8b5a1251b0276343ffe364d9acbf6e1d173582b2d9a8a32d5c1fd25a1536b9