SHA512 (netbsd-INSTALL) = b28728814f385aef844e966ab8f7f1ade6f3c811454fdfbf685f96dd47c50d947946a26a4207d5e40bdf20fc669daeb98d580332d6d706dcf57edab2826d5eab
SHA512 (netbsd-INSTALL_C700) = 574710ad8e7cd50e1f1b4f1b360bbe40526ca7bf9784d5b94c17736c941630c4e500560c1a6fbbd76827d00735d9cb67ec18bde7d6931dbd13497b3eb9fed1de