SHA512 (netbsd-INSTALL) = c486bd13385ad8f3c63c2861e5fb3210234a62676119367f31f4859e4002a2982cf63335b76ad0fa7c2662ba2defc642d6cfe1d91359ef31a96b26de23baf83d
SHA512 (netbsd-INSTALL_C700) = fa2a88a18e89c599aac3fd51c0cd2ac83c4b5146e90f1d0f41abd408b7a81b278953bc033dfcb8a90268252f17adfc7622c0351aa1721038419b8e01cbaa3196