SHA512 (netbsd-INSTALL) = e694bc34ca1b1abc7fd0c72a0f30d2e745316381f2af6741d26437401995231a6d548c702396a21e8c47ed46ab437a849cd47eeca57875b04d2e8dd53e01fcb4
SHA512 (netbsd-INSTALL_C700) = a34aa8473c2f4586ae039c6cf8b04057ebc6b6c41c0b61450345e1e6db949651b3521189d576c334009076f9575a50d46d6e074d8027cd08929c1f91f1d54f48