SHA512 (netbsd-INSTALL) = 65de0dc4162c2d09af867df7105ea711d2e3c77bf91e03bd5d949163117ade66fd9a182fa179d6f3936445747991c1da247dc0bea393a010c52eee93fb4e6d4c
SHA512 (netbsd-INSTALL_C700) = 8624fc7dfb3449c60f4910a7cea3bc6fb488bcbffae55e8f8ff11c7f4e566ac0a69a855f2a01c3125006f3e0e30a5fcb953c35897f2baa174fb925a35c2b3a3e