SHA512 (netbsd-INSTALL) = 54b2eefd79403d8b2f7620135860e2c57233debf590bfc8993e58d3b05c1c8f0251e677b5dcc888777730926484f6e339c5499c66c5e99c6ce36607c010d35c1
SHA512 (netbsd-INSTALL_C700) = 26c29892355b6f123f405ec531b47b8f27cae19c82fc29e956c975057c5b6282c0e410690fb8056f0e18ffce93df90a68d1e875959bb19f8f9f8b426c7c6bbfc