SHA512 (netbsd-INSTALL) = abd7d562305335c80ccc30bac0e41de76901cac98843e85834e02e0fca9129e3417bcf3ab1591a486dccfac0e7ec6b2859906aa9930ff2f567b5ac9bce9e3d9a
SHA512 (netbsd-INSTALL_C700) = 4a777026e96fc8b129de4134cbabe6c1bfd4e2d509be82adeb0b483cbb4a009516fe17f9faa4153cd03832d158602d318e723a08bcdf69c9b9300c5c36f55887