SHA512 (netbsd-GENERIC.gz) = 80ede8edd044e8e5563e48e2c5c7ec497a68fbdfcfe007cfc2051f460d7ce162eddbadf29465470f502e29530ffedd3b7bfe93671532b3bca64673392f657e16
SHA512 (netbsd-TX3912.gz) = 84fa18c03f81add16f0ee2251e7ce8f39c98c8902feab298c0571efde7a487d01800779368216435132f150731d0fb8181f48a5702b396483aabbc33e1e6cd26