SHA512 (netbsd-INSTALL) = b5db9b7c4b1a260626761142520f87be995b664c69267fb290997b1c66f3349a8a9873a51e44d9f650595e1d5ebe88e434bfa7e4dd21d4d4019dfe24e3cf630c
SHA512 (netbsd-INSTALL_C700) = 461f83fbc138528601dc90037e46b954f872b1eb4bc397048ba015b02cb09f1a075bbab67ee9aa534885ed98e5c239733b3e81025bbb6b2656666e2e6a0cc94d