SHA512 (netbsd-GENERIC.gz) = 4623420285c419378a354321c245bd006aca3e03325f1d2ae1c99e27ce0f4a0c7e02882edc76fdae8d2369ca87e884ad468c84db6cee7675f877dcdb12ae7754
SHA512 (netbsd-TX3912.gz) = 874dc2d7f8f2cc3675c23a11162c0e1e7a49702273d616f2e3fd610157b4871d5f469f02c89ebdcf92554bc654f9b825b91556b9152ec24492e0d065568902e9