SHA512 (netbsd-INSTALL) = 9d37be8ddee7c1acc08b9a1b5c20e4a8dc40e65aeb8ff1acae73c0cc82d692ecdd3f76fdffbec5510d9fa8dc2bcea481040786e139c6b93f7ee68a1e7e1d3615
SHA512 (netbsd-INSTALL_C700) = 7bcf0d0bc26882e050ccff1fc70e193a90e3f8a87120d951940ef3bd90e4ac73ef975c81ee6a8f65f15e24f450f56ca65ffd4a9b5bb0b62a17353d2522d96fa1