SHA512 (netbsd-INSTALL) = 199237d4a1467990f6e07f948780a222c0fb2e116cf3cadaf767a8c37c79705b63f301a5e29821b8438066b3f7e4e8ddc142f19ff1bfd0c4ed0058d06260f046
SHA512 (netbsd-INSTALL_C700) = 22d98e7bbb8d072b07a9ded4488921d320bfcbda6e6df622bb229a6ce160777c5a600a8f68e45e2374b426ddb395364311c8ab84c1df165f11250249c88df2a3