SHA512 (netbsd-INSTALL) = f09fbf5e7e9e0747697c0dcb633b98f0f45121069c9fc3262427455f4d60613bc212666c67f6958b608a780b6ab076979ae2ee9bed6c8695fc6e6da7a97bf6f5
SHA512 (netbsd-INSTALL_C700) = 353843c69df2f96acdf7496c1bfc4c334eee46dc63fdc3cf6094098e54d02b5a4b41f731c7d9241269b0cc69b638753a479fcdb1a5279e9f6e0598081e94214d