SHA512 (netbsd-INSTALL) = fff4c58ec0a163a93ed6283b813c475aecf7b12a3d95be375c86116b818a36e5777d2ed6bff858abac1fb6670f16cc09b5c824c4afbaf1f197803086a1adf501
SHA512 (netbsd-INSTALL_C700) = d5a72953d60fed014f23271aed092b2b1a2298d178ef2de03f9a87f72554751aee2baa46bde81f2cd96c618bddd75e62e6958b27c4228f1a98f4567fd5bd4426