SHA512 (netbsd-INSTALL) = 8f0ed8a9d52588a36a33db0eab571c613510bc39ed6837ddfd50e19436962928b688b79ddcaaf685321667801c3685a04285797fb533d602a5d9ea9a16754414
SHA512 (netbsd-INSTALL_C700) = 78bac93af145aa3b055ce7e4f28a3de27abfe077b74d43a168bdf616e656ac55e53566a9e1056a887fe38707d1c4309b780d2e69c16fa30fc2551716c62d9244