SHA512 (netbsd-INSTALL) = 9388e8f658640fc543e3b8c298caa8d2b47ab8f4ccb2e076f3dc1460dcb969cab74daa2f9bb5dc60036e67660ca356a386e0c6575bddc61725ad9f2d72bb21ad
SHA512 (netbsd-INSTALL_C700) = b65664bfe1c749e7c8170ea127d7779ee1a75511b33b981015d79121d099283ff02b64fe931e37a29beea4fc37c14591883ecfc43157c3ea0955bfe5f245f49f