SHA512 (netbsd-GENERIC.gz) = 158476452080a3a398282e459180c7993f01374e3aa73e67a67280f8ad3c9d3856706d19c80ba283f4e5a1ac5d8ce6931e565bf2e462d53f9bb32fdb20ca9708
SHA512 (netbsd-TX3912.gz) = 1172d1f172990fdbb7dcf39af304981058dc384ed975460e520e6e17619983189fac0f80f24a0c21f13340269277ba2aee529d07ea56cf90977a397f1a479fd4