SHA512 (netbsd-INSTALL) = b0ec898ede8c4b716ee1f72aaa72611a8a4a32cd6395ee6f8604beb2f0d4e0001e94155fdbc7d84d382cc6533aa644f24f034aa5bb81a426e5e74edec65e8594
SHA512 (netbsd-INSTALL_C700) = 5d916e0b39e5e4a32f5f7015aabf7ad44fb032c7239b290523d5ad7b31779ba9c9535122f2f51cee9f5224336c0f9a97a3d63fd22a04e7dfff53328d1fcdf7d1