SHA512 (netbsd-INSTALL) = 1287a77a22d0a01f3c6aaa202becf5432a0611053cf3ad100f8c3dcf111fd458c4ef88faf23c849f302dae5d087111957de2359c40ba38f4d0e960b1389f5b15
SHA512 (netbsd-INSTALL_C700) = 5f46300d785fd71de50568146c26580a022134aa15b618a4ec3e3f7a11b74a910b6c5d4f4694b1497da553dcb6dce98b321b65d8ade5d12bd2185a0c6b3ef175