SHA512 (netbsd-INSTALL) = 39c2d9fd707a99ddb9fb45aac5d7ae455c353d3e82d198087379b4934944657034d7a14937489f41a8880e8c737fe403967d92a1ef2ad15ca9bf954db9dc8ab4
SHA512 (netbsd-INSTALL_C700) = d8878b951fd15ed26434450a6ae0859702bc9280058956d5aa2c449377451e5857ff95a3fde003fbdb35e04beee7c2d3d7c677695124bd1914edd0c6e82be0d0