SHA512 (netbsd-INSTALL) = 152286e95ea70051e7f01ead22e07a42aa20cd2c891aefceac8cd1da8d24b9b163586faafacb99bd6cf6b887fb684fdfc4a0994deecfa07d750adfdda7de9e07
SHA512 (netbsd-INSTALL_C700) = 34f0ae925cc7562db744a8f9ab8f7b785610d778ab4b9a6acc77604f463cc6a3c94a908003d0405200bcae746cc34958131f4e32e11f278dde6dbefe611d8ee6