SHA512 (netbsd-INSTALL) = a8ed0a9e575da697758e5b45eca5b41e2cd66f67550713b54606198dd21d4816c40c948cc4018057bdb6cc340f0d0aa447c93cc36ab5fcad53718a6bcbcf673f
SHA512 (netbsd-INSTALL_C700) = 8f4a533d4f8ec4f5612a8c1eecc5895d0d8093ddbe2bfa608231934f444642f78ffbfe65a0ff8f61e4dab24752a3aabbb3c9d0cbe480117a839a67d24985b0a4