SHA512 (netbsd-INSTALL) = 80cf8c558935a53cfe6b9a439917f7827ae0083e32beeee7b477fecabafefae776ce14e998a7608fa792f92d31499e9b3ee6214451379c235800aa06ab6212a2
SHA512 (netbsd-INSTALL_C700) = 475d996430a963d8e4dfb853372edba33c16f7a6734a7e86b921469086bb9bc5c2df0c72e372a4f017ef6ac94396cddcf26b7d4a89bb531564ede75fdb8817f4