SHA512 (netbsd-INSTALL) = efb70117c785f6adf10a95c000f0731e2c2a6715729df58e4001de7ec06f8479811baa8980590a7c48910d8eedea3044198e2aee38b3da9ee412755b7291ec06
SHA512 (netbsd-INSTALL_C700) = 65a89ebdaf369049cc65f70702c2824c9c4fff76ab41cc5b6d718bea94d74546e9666c1b7753e2472fcbac91793fb46ce70c98507bb285ff94bcb5c57a2e4da6