SHA512 (netbsd-INSTALL) = 0b3f0626d1b3ea5b8fd58724ab1c207461468cfcea0e07746d73bf13e26cad1a3eef3f24d4e484b83672bf051ad171fbaf5bbf1cb73341e0e75bea0da7f383ff
SHA512 (netbsd-INSTALL_C700) = 24f71d6b53200b3885bcb1544c174e679ee2e0af4f3e297aa8da695edfe08b09fa3327a992e2a46d962d710b819fbeb7b693d2bebcbde380a0ff57a1bd60d7d7