SHA512 (netbsd-INSTALL) = cdd39d1c376020ba03b22e0f67990ceceba84df029ddad629c2f9d7bfd806b14867520788ab077818886c3e98e63dfeec1adfe96c19f37eeff56716b5b75332c
SHA512 (netbsd-INSTALL_C700) = 8b5adf25541b43421d07b99faa9ef104898a7f0e68688e67e641d32c6600ce08f6f3496248d9aea6227f6cc52e3b3d2723c14c7b955b64d659a917cd9641a6c1