SHA512 (netbsd-INSTALL) = 39019f01d037beba9b2ac3aa1419d409073c0d6c92a3782a1e43724e546717f21d4c69fe8b47cc8742718688d924dadd88e6596e844099d9f2aa7e499150aef8
SHA512 (netbsd-INSTALL_C700) = 5b432aa53dc97d8580d79181e44d37dc01f4209df5eb611ef9a70961fe8b3ead1931d533d682ff9d332d97a75caf74423ee47e6e19eb2e90698a99618ea6ec7b