SHA512 (netbsd-INSTALL) = 80ee359bfc886ae8cfeb7719bc6c4fbea0c1fd03bcaa4eef0e872f2c090d70ab7a805c21b98f8d47b6b96c4db77b0ad3efb8350642af7d29f9bf996f25d56166
SHA512 (netbsd-INSTALL_C700) = 7471f0a86c22e7beda07d7abcd69b0e267fc93878bb65dffaf41416b68cb471e803ffb3835b19dc6f8411aa2df01d0c43bbcd24fb2ee5b54bac9c93f6a86ba6d