SHA512 (netbsd-INSTALL) = 5adeb65415d6b805230c6df1e645ade836904378bc5d7ec77caaf8f5be1307f4e9b4a2e3943428411798b7460a1c00436ae0aff1ee9ed8c2b11dda24fca7e183
SHA512 (netbsd-INSTALL_C700) = bc44580c860669e6b0c2147a8e8fc584b432cd0354c3330afc398623a5b665a73bf41c48468504622c29c5eb73c2791cf4d80b0be2adddd059fda92bcdc5180a