SHA512 (netbsd-INSTALL) = 7072ba8e395fe87b28ece4e81ded09da7c2fd7994b20044ac8d3656644ff619381871fe138fbbcc1fb0026635ed7827c60c7c013a2a596b8a83c6e971eed5ed3
SHA512 (netbsd-INSTALL_C700) = 080661ed78d8e68e2d5619f93614df44977dfced991f7565bd22dd9ac467526282e3fc221688d4202207530cf522ff1b8240f8ed1ff32c5f2998a145c5b88b6c