SHA512 (netbsd-INSTALL) = 19ae7712ef2f2c716ec9920dd65d62dc24c751e30fa11e86a2d8bd1983a6e1a90eeb28c5c1c989ce42fb0b487a5cab0b76c8e3735eb0b53efed9645f640ebbc6
SHA512 (netbsd-INSTALL_C700) = f4356dea2381bc6ef724bc05d1cb8c80544140e02e9404dbab6d2671f46258489f66a716b71c9003f036bd96421d3e4b386d2b9f14133ef9de6f06a41ea8688e