SHA512 (netbsd-INSTALL) = bca329bfc2e27b0f1807d3b5ac319504cf3a86954180664463c2237b6731bb31c0c6b0af0e06da068e419fdf6afa7af8c4aa08d66acaaa69dfa165607300d9d8
SHA512 (netbsd-INSTALL_C700) = 05b4f161c58c8611352749ffc72680ed9f384ff48787a42be5dc3bf27046d22912e347ad9dab5a678497683f74d5da2f5e847c388f5a8b2f6bad5c94cc04d868