SHA512 (netbsd-INSTALL) = bf344bff387e2caf217718244bc727015e1d29a48a374e66e4045e6e1076ae18960d299e972d5da54e55f2844707a0f5d51411b2738cff1fea3b8ce65de4feca
SHA512 (netbsd-INSTALL_C700) = a32054c941a9b473d55993becb94c7bc2e58844a4de9efff5eda3fbe24756004706734471d293b60d7f9cc82aa308c0686424c5f01652b9c26665080c8def04b