SHA512 (netbsd-GENERIC.gz) = df590f7c74a74ceb8d63cdf7122717f810f5c975e06ee79c6307afb05440773ce179c0d716fc0ede98e9f17e0cbc1728915f6d0ded268020bd301b37aca648b0
SHA512 (netbsd-TX3912.gz) = 57848861f058e8845a110b1a965128710888142731b4d0ef1decd281f90accb5c99db62c59a1307824e5159a5297386b9497e214d76a8827002ed9c32a337b13