SHA512 (netbsd-INSTALL) = a5816d96cbc38b0cb5d471c648e062a87e14d0444b291a29d42e3c718804820d2b85d2f789fa8050c481574c31b3f05e97dd9af6800f24bb214a7775cb97cc40
SHA512 (netbsd-INSTALL_C700) = 1e63db3216bfec5a63086b58179a28e363439b9ef1d55281c36db5ff364b965b8c3510c62b2794e1eb50e75d83024c308992c037ca96388b89e1fc912124e33d