SHA512 (netbsd-INSTALL) = d8603cdfd3fa591f93a85b5a12e1bb0b9698581f8221b368dc4debbfcc3363ace202f345c2e4db3b41dc01a5734c94a93089e5661f536701c49e3aa215b0d6f7
SHA512 (netbsd-INSTALL_C700) = 8070c0d533b1e12e7c86b58b081fed9d2157d0301f1b9f19c0f42c9bf42636fa684c1cfa2e60172de2ca66a394ed5ae88af436376aebb42fe0bc258a29257c59