SHA512 (netbsd-INSTALL) = b9477a2ff3f04358f24a978e20b5a8e6378f5d4f01cffbeba2c05fc61732e66651ee25528f927dbd10ada232cc90c55fe1d248d96f133a9dcb021c9ea7c5eea9
SHA512 (netbsd-INSTALL_C700) = 21de61c6edd0308572152224cfa9fb8423a8a8b85ed43ff959d2a858d6a1a5068e8054af72c52e212b2794ca18f09d9d7c4f3f5965bf1123b0450289bbb12a92