SHA512 (netbsd-INSTALL) = 0dfa9442c4c64a0b71429b0a90dc4da7a1c256c3a97a63973241be0867e38244630e074f477c3156819fb92aa7a896d53e5f9299df4a9f0e72b543f064775901
SHA512 (netbsd-INSTALL_C700) = b8086299941b85aade911f3de62d193ccb3fb3125188156938029218f9ee797a3305d7053d4fa9149646745ef663a3d5f10a9ff78ae120302c2270465207b431