SHA512 (netbsd-INSTALL) = 4f14be038993393656c2bf5630eba487356a760b3a962e45d9bf50db91ceab31c94a230b078cfc26b4f0c10df076302e13a4ebdd242b382fb8e942fea4680423
SHA512 (netbsd-INSTALL_C700) = fdf97a228fbec2a0508ec4874ee4365c6542ebf1b20655611113af17e818dc6f5e6f0d92b2436be1400d8e8a14de8adf9af449fcdcdd6717bc29eb7187b0157e