SHA512 (netbsd-INSTALL) = 5bf25d825606c1257aa1684fe9c0027b7012132e156001232f61f96e83ef1257a8be7421726fd9a1bf702ad0d4ae81ca738d30b3b15a50ef25a55610424f7eff
SHA512 (netbsd-INSTALL_C700) = a95e8c84b67263cdb8848ca3c14bfd9a048025219c8a826a208500cf127ccec459451eac3a9da45a78fcd3cfd59f18ec6e2ad4d98babe9af5da6c0adc266ba67