SHA512 (netbsd-INSTALL) = 8b2b3ba0db39c58bef305cecea8156e8ef556d4da03bae51d171c7af8904089cdbed1650c0402bcf39cf209205f3a68b5689cb0b6ec85e216dc696ecda58a19e
SHA512 (netbsd-INSTALL_C700) = 11be78a97c8035c6f3556761a910f517cfca5883c2470a01c926ec62b9f9a8477b080199e3350877659453738cee88776a8bae4ba63597b691fe61bbd6b7aacd