SHA512 (netbsd-INSTALL) = 825db3375129d9b97916283c6a2ae8b8063d26e65f444986e325247d55d52214f44862ad9278b0d72a86a22072576f803f6ec51482c8df17132fe9541f5dd665
SHA512 (netbsd-INSTALL_C700) = ff11f2756abeadbb3823be761cbc9a71c92362e26c96bb077805732ae2e0f1fb01adfdde3efd51460fb5c64135765e4bf15d0edb4990628dd2513f228bf53aa5