SHA512 (netbsd-INSTALL) = 49c37bab814cbf4b12bb0c83c9a740284403159edb85e27baa28e26368ca67acc46704abfb94ff4e9dd13b6995548488d54402aaf7d2314d9d0ac521695f7c19
SHA512 (netbsd-INSTALL_C700) = 0784cbcc4bb8fbb577d63cd959024875b550ce80bc0fad80d63fe6feef6baf22d718cece7d0dab82f66391c3677d111f866d3fa98be09635f16e790fd9da7d02