SHA512 (netbsd-INSTALL) = 3372f3d5d45962894db5bad7d514ca0a14ce5d69a62167e47d2820683d2acc73a1179b87838a44d74b6e959db91e34c260ced1a41d5deaa1d56ac7ce21baccd8
SHA512 (netbsd-INSTALL_C700) = e5b214b1143e190989e87793fda5cc496c931b85db69ef4345f630d9b3c20a2b4b8acff7d40bc11608dc7af96ca291c728c9f595c2542e8ff55874e887a63c81