SHA512 (netbsd-INSTALL) = ecd232ef9ce9cd958cfe5dad3483e167f6d1cf5b7c2816f386317679687bd568646834f223c63bf1cf5f323c013169ad05c32b3f9b082aa48d4d5d44d1d04ff3
SHA512 (netbsd-INSTALL_C700) = b822955d6adc014d7ed2e3f2de78750ddf198c2b6e13354da8f9c47587680db8c43e52dc9d588e77481f19d3499081163fe23ab05e309dc7b0c83f1cdc157f4d