SHA512 (netbsd-INSTALL) = b28e82f15ad964e26758cf82e63856a5f297f804c20879e7129d1006764a359f2dba49ef895674384f788e81a40e9bc284100e5c464ae939bb2a7f693d8804a2
SHA512 (netbsd-INSTALL_C700) = 1d5dc8f2f635cc89f26840dc565f03514b74fa5e2d6ee2ab7b2303474ba71353b7e64992fb22d87b579be609a2f26977477e3bac0ed8a441b3285343f6e829de