SHA512 (netbsd-INSTALL) = 92fe5320043afbf6b4ffdebae088836cddc767bbd10032653d2e51929fde6b56907bc5a78aa623e42d15eecd7a3f32ab1976c32926fdd45aac6581ac6902ed09
SHA512 (netbsd-INSTALL_C700) = 70b5338651a2fb00933d2eedd6e4d21e4290b8568caf0759399a4923486b77cae3b17e7e21d7b519b6c1592850c5d6d3bea96c7192e81c75f62170bd258dd4f5