SHA512 (netbsd-INSTALL) = 8252570a2c7380c4d610f86a8e03d9eb179c1a94a5c94c6d1f4b275665aee9b767e18752adfe9c7e31a55dd4ebab4c97faa45fb92a054dae28286aa647c19797
SHA512 (netbsd-INSTALL_C700) = 25d08a5bad33348980ce2d4efa1117b4f7bb695a8c0f2ce64768e0b9429f3bda163f7c4b90480bfe8d68873e53513c62a6200db176b62724d12405bb67702575