SHA512 (netbsd-INSTALL) = a23dddc24df5941ea51a8a4ac82038899f2c37074ecac6d7d504a5b649a5206e68de80bdf4d5dce672128a5e96377487d7527a3031bcd6479f927de8cf3801d6
SHA512 (netbsd-INSTALL_C700) = 5e7d4a586b57932a6131204bf54a36ec059c8b36a38412a37a3451b52214554d4fe7e3fb4723f8ee53297bc9c736141909579c301ac12bfdfdf08b821096d169