SHA512 (netbsd-INSTALL) = f6a510d913d344a88a31e4b173ba761d82f3e30636d3adb9b03112a1f9d92b64d4e8b653514dd491b918bbefbdf79db6f77cb6ef20197444d922d952e1fd4cf2
SHA512 (netbsd-INSTALL_C700) = 30d937336228e0714e57414c54f24fed9d00b1d7e0267b69de398de5d9e071dd6592b5befce56e24f712036c4ef5f05d98ccd7f6f649921ae8e0ea43e25297d1