SHA512 (netbsd-INSTALL) = 63174827c45c59f6b6e772f345b9de40b6e4715747954b321de9a66012541de65956f6c540a3a5cc3de2d5f5581849b5c2603d78ab5d1049752c9a323c09d2f8
SHA512 (netbsd-INSTALL_C700) = 214d16f3b0de07e373735dcd479ef69c37deb07a439a23f0eeffb6cfb69b2e9294a14aa8f15e4a05f42709b4809d7d7040915d8819ac5a881cf8dc7b546ad430