SHA512 (netbsd-INSTALL) = 5d41ac3da55b254cac6a242ed8c9b91ddcc23f45fde3044e2c7bc48aab0ad677ffd8d21aa91e40a01624c570a596eb075aa4f8233cd328b6ec6178671e3bafdc
SHA512 (netbsd-INSTALL_C700) = 44347f35be2ba75f8bc84ede2a8be2c452f0c2661209e2c2aa7d85af5bbf5972cbc3aba666f24d62c0324585465bba22ac1c8d43486792a2694de1458ad017af