SHA512 (netbsd-INSTALL) = b07e1471d963bc5377dba8e8657b3af3f8b26040627f7b4260133c168c6510be4dc5a40a397a2d45a26fd4ccb3116a5cfdfce65047c2590e85a99e046226c911
SHA512 (netbsd-INSTALL_C700) = ed7a25d3d4832c216e3666e01adb9f84135b8c3bd5d360b84deb0387108a45e30129c759a46716c26912572d83a675caa861b4b8b5986948640f79bad6f1512b