SHA512 (netbsd-INSTALL) = d904e180d77557254b42ba240034b7730709373cff810f4c6f87bac60953659fe54f00342931d756f5cfa9e8229142613daa95c52ac7245b1bea3745f117f3b1
SHA512 (netbsd-INSTALL_C700) = 2a70bfe8896f79c507663e46940c1cf519989208c25b26982ebc2204dd531064cfd7d1953d74f564c128723c76db836c302177f6e6b93a5ae6dbad6e9ffbaf2d