SHA512 (netbsd-INSTALL) = 087dbfde458a2c5e61de0fc85e6011e25424a06a18eb3cb2b16e37b95b23fb2070067383165dc9325e2f0ca642f306ba3e0630ceb6b4964e30a0fd01117da510
SHA512 (netbsd-INSTALL_C700) = 9fe71779df03da5d04fb1bcce072a3eb294c605666ec43f085f66243a0b6cf4db194ec0b4f180eb1474b7ad0a1254155a86fec18357246d1f8dc129856118e28