SHA512 (netbsd-INSTALL) = 6e504a9d21ac2250c4e368c29f1de0b5799493e83f0cf00a142e704223c05d1d2e84544ace12f3557106dcd1b27c80a4530045b60d7e14ac66cbf813c2ba0e1c
SHA512 (netbsd-INSTALL_C700) = baba478fe6883d664497761c669620155ba4ce510b8273197938614a43c88562ff09818f8bb2b693986eddd88c399ce0e46ee2ba252f8c7aef776b7f93f22d2d