SHA512 (netbsd-INSTALL) = f4516d85a7ceb1ad5e5e0971e5425af031be93aaacbc860fe0962deb24247fb3a48b133bc6e434262e98d25445c4133407f2af19c532fbb8c94354b2d65d5643
SHA512 (netbsd-INSTALL_C700) = 8a4b2f8b26a443a84fe4476ab057632eeb0bd1c03cb9bc1b312ed36bf4be696600b5c14c8774f8fb60dc0d658b18fe62ed902fbd3aff8715b3d267271f97844e