SHA512 (netbsd-INSTALL) = c2b1d200cb96e653285d56a3d4569410aa00be8f6add49814ca5a439ca51eaffbbfaf7770addc9c60793bd90d72c84eddf1a7e748e76ecbb4f258633e2627f7a
SHA512 (netbsd-INSTALL_C700) = e8e1bbde5da7f501dc5e9681f2c85505e37d5280eb64432cb6549e2739b6a9292614408c62f2474ecc3fe33357137bff7118dc3e7823e4e3d9e8bdf23661ecd4