SHA512 (netbsd-INSTALL) = 2412e969b9b0aaab24e4de04e2eb465c63411d7e77574221409ccaa843450fc15c6de1d816c2a0255193ead0275b142f25cb40ad80da9d7de50f03b3efe3f0f7
SHA512 (netbsd-INSTALL_C700) = 473a992c760f41771f18d16b712e5b8316b18f8f210b3285b45c063efbf0457a736913533b9d01b34e83965502663604e39d2f9514357852e4da28a5b97c0874