SHA512 (netbsd-INSTALL) = ff175ee3eb12e6453037075680cbb18af9bc044644a5e1bee4b8a4b87d817d768f564048e7ff783b2a7871db2246fb755c1a56eda193301bd515db2bfd3e3fe3
SHA512 (netbsd-INSTALL_C700) = ff68db98bf06321fcfff1471abf5c3cf77b464c39a8d5c240bbc933facab9bdda91e3c3a37fd804e1dfb59aff5a76455dfa33241012323e75e3074f735786417