SHA512 (netbsd-INSTALL) = d0240c775cef58fb0487f41c28895f44b368187212e97e422a2add84045ceb885ede6d5ee4dabe56dd113c99d51ede3d448ddc6dcd7ee8dea6a2161bc9a421f4
SHA512 (netbsd-INSTALL_C700) = e562e3af97032172ff0f508ce53df896761a7e37b6a46e56854836cafe12f7b1b7054e31ad9f090b63c17a195357ad06392d48149942ec9db9b1332d442d5317