SHA512 (netbsd-INSTALL) = 5e0c9e0f5347095eca13a2f82afada98eb258fd440c766d2b7097fb9090ada7349c9174b9497f83d2a1891a2ab62b0e65ccc2922e26ccc07c09991b5fade8245
SHA512 (netbsd-INSTALL_C700) = 65dc76bbbddb912dac3babd658054594c2f529b2147e30ec2bd256f145abf0f6e8a125e336eb51b67bd798afb88fc28d5a47421344c519f277bf00aa49d4c334