SHA512 (netbsd-INSTALL) = ba01dec16ac23d6c256d37c7891a6bee70dfef3aa05eb28f1e731f25b3564d1967c437f7bcd027a2cc9cb857979fae1188f34300895e849e99c5b8efff256c1f
SHA512 (netbsd-INSTALL_C700) = 1e249ef9b74952aa5d17d7931c81a175b7d5647671ab2e22df9f9a4336e8134a1f37b155c45991376ff77b569e1c3876dfbaac642eb6c32a0c1699b0c007ef44