SHA512 (netbsd-INSTALL) = fb30493c5bc93ef8a55966f50c16de233d5aba1e63acc290f1c885a5400d1703955332a7048eca898e944d5683a6535559ede55570d19084853e012da4738c6e
SHA512 (netbsd-INSTALL_C700) = 4cb1814fec76c2beef8f18ae6ec2c7c40904a2405f18a4f39c79faab1178149fdc6bbe0d2da217f63605d1d4d21ef0e2b58cc3d7de06b8b7bc3d3e406bf5a149