SHA512 (netbsd-INSTALL) = 4096156c9222eb07912aea12a68f9178cfa931d7d4175c5af8e8072a27b96ec55a14b8e2c32908c5260172c79e1da6a907b78b6965b91a6b5ac9300baf650fb2
SHA512 (netbsd-INSTALL_C700) = f35efaad9f32dbb92ab16d6211048014c1ee233cb3d433fe9745bcc051a0646cfb08aad7cd4574b4ffaffc3a1ce48cf260cb6518b7880ab05008d9be8316d788