SHA512 (netbsd-INSTALL) = abe4a91d446c5eb18ac97d5f3bd42d167277eea38152c2aa025fd80329d93893891f2dabc473eedd349e00824642420a12fe432bdba9ea6e09c889e7e4e9db3c
SHA512 (netbsd-INSTALL_C700) = b1d145731cb532d4c873819eced80fe9e322462e5d442caa89f5992c2c0521a943acdde09589dd91f238acfe6389539feb279d51eaf9fb2e7a4397abaae6cfd6