SHA512 (netbsd-INSTALL) = b8d3ebbb84c0aab7698dddf66b292554d73558f1bacbdcdca3406d6aff7ba263f2e791fc17031e9ca1390e2180a9e95641f69479b8b504b7aed07487e691d1c0
SHA512 (netbsd-INSTALL_C700) = 60d1d406859f5bf96e39a41844c0ff0be542e4f9df9c7d6d20f50a833ecfa18ee3925376fb442bb1bce6d201480c4925fd3bb2df2b3d6948286cacb7e8ce5d8c