SHA512 (netbsd-INSTALL) = e72abb916e068e532d686ac1897ea9bdebe58faa6e870c6a029de0efccd855d230b225bd21744accb8063a2824e3d3df513cadcc3947c246420b2d8eaef88382
SHA512 (netbsd-INSTALL_C700) = 92de61e0bbbc8a860597b3d69b082c6bace80aa1b0ee48fee0c446dda85b343b4d7a4f7d62b51638cf6af7676f2d72c51b8486ad0514455baaf68f55ec3218b9