SHA512 (netbsd-INSTALL) = f7633eff81e67de95b0b4cc1d4b1e53df8fb51fdf97754e75cf6195b437e8f2539e40e78352e49af13eb469a0bdcb55fb07986a222027c068e7d545f2eeace38
SHA512 (netbsd-INSTALL_C700) = 2c331f8ca3a0919e59d5dd6feed70261e1ef155a78a014b3891a0f393172088ba4d8b77aedf9ec89e0a98e64ab975cf7681aeabaa8818cbbddc6353a80642b6e