SHA512 (netbsd-INSTALL) = 33c6295d5ca71061396179a3cd08652b17a598a0fb867398737cb51af0197044411e065d0c13bd9eb8ec4efa134597c2aaf424f16d2bdac8c302615d73faaf27
SHA512 (netbsd-INSTALL_C700) = 4f400d382f432f91391be28ec84f219a106f2933c0e7ad2bf9eb6dac1fa44cd31b3534eb93986ba95ca7b927c1fa49a6c0ea83efdecbf996cdec09619460d433