SHA512 (netbsd-INSTALL) = af907054b6a652e23f8526d62d301f3c3865c97fcb69b49070e1603daf5a571b1cd2cf1a221ca983e6d5bb8b126a6a2718665f96f7951a93a92fcd14fe7122c8
SHA512 (netbsd-INSTALL_C700) = 581d5a23b01cdc33d58e04893c96caeb9d8d14b616a974abd805f698a7f580314f9dc54eac198a9a2d97b297932fb57661c42f73b9b546db9d247d2e144515bd