SHA512 (netbsd-INSTALL) = a6a7ef20ac037a68042afda943265295e345c22e2598c53dc375ef1badd98f5cf323581e7c52e427fbcbd46a5bc0a55e522ccd70e2cb09ca6f2f5f209808c8b5
SHA512 (netbsd-INSTALL_C700) = 38965742304919f55bcf36e1b648044400f2044242ade8fca6a021abc88a381ad48674b782da63c31322195d5397ef16b87f21b0aceec63e6d2deaf6d88d6646