SHA512 (netbsd-INSTALL) = a7641a603b87c73426fe6497fcdf4659db3e25880738d50a540387a3bf5bb97f3240f497af137e7c22a92e25d9c37b25f56042fd298fc7e0db518ddec52e9e15
SHA512 (netbsd-INSTALL_C700) = 6ae6bebea87ae7bd1f3706269917ff15782c725a3c14699289fc44547f9838308be17760cd398294e18ce3afa6cacb4423f224e95567bc598716a669d1e3be59