SHA512 (netbsd-INSTALL) = 4084c866e551a45ac5e6c9012bf1ca50629f2e9734e15366b9c7dcb71268f32eba2fd7717d97d48f43f49f6120a0d64c7a2f4423cff48801551f0683d57c3c13
SHA512 (netbsd-INSTALL_C700) = 42df25a7cbdadb71237b9bdf89fca62ddcd363e9bd0a94715538691b00282a9aa6836db7d06800768a02256b90ecb56070aa393140690776e21872b0564dfd48