SHA512 (netbsd-INSTALL) = 1aed020fe78e69da92453badf83017a0a06c4b614cc2dfa3d904c2823108496e1d107a5d3fd99ac4bb855331a6564b21ea7060b20053de4d53a79027457a57d4
SHA512 (netbsd-INSTALL_C700) = df709a8ac3a46fa9144c521013e857045a15a1d0b7d499d13e96aed437fa1acb6236fbeb8249fd6cdf1ad7085dd236c7a27a467d7284bba579904bc5b475f132