SHA512 (netbsd-INSTALL) = 448c3d6ffcf4e97e229519b4da88555199824770201bab5f58119d67373f4481663561ec781f6e5ebbfb2c334ac846824573410bbef0d7a4e3faa0d2b0ee3b90
SHA512 (netbsd-INSTALL_C700) = 31a62c8fe281f8f8a3fede365201f04cc1734500ef784e09e93d86e8c50dfd8afcb60851a24c2985e72a6dc49b5f5c5ae257bc0fb775ea070d77bc8fd7b39b57