SHA512 (netbsd-INSTALL) = cc45a0646d2ca354ea978be08526e05faeb99eda88676f85ac62c4306fd9d793b9223db34179443e8a44a1c34c96283de8bf1e1c7d98c3ff4557e4e045432353
SHA512 (netbsd-INSTALL_C700) = ba5a182d96aacd9782640b60547f5b7f9bb39356d2d10601281dfc8e328cbe7b2a20a2bded1ae9aa2e4f0b690b31e9fe26336c8cb8b9a6700af6678c3795e12f