SHA512 (netbsd-INSTALL) = 67d768a7f87e7d08c68df1f2f6449c0ade2ee55c3a6579b9a153acb1a97ca696e65d071953adf1da740a4c7addc2e85008bb8650600b47ac86c68a3df49b72cb
SHA512 (netbsd-INSTALL_C700) = 54b0aefad2a63e8e719685ed42c63852d848484c614d95929f5698485bfa5b1781f440adfce576c8a3760e385534401c05dc35281a4d5132f05cd5ad3ec343d6