SHA512 (netbsd-INSTALL) = ba8c0e9912034eba5ad7f087e47c6de3432cd367603307e2b7b147e7ee2e1ad91790df281d900f4d6a169309a3853b6f224ea466a23a9f038a0423d435270e0c
SHA512 (netbsd-INSTALL_C700) = 34c51ed3c8cee8bfd90dc211c542c2053c2a3dd7a6975c0eca210e93154683e157905f49dedf383fadd0a9612a998e601ee6d8129ea418ef079d4efe1358d18f