SHA512 (netbsd-INSTALL) = eb1bbffa6289dbad87896edb5e9002ab898fee96c562b00a9d7898cf576e65bd302451f9998bdfc4c14fd461f4e022f2b40081de88b03ab614dfc0e8124a1b1f
SHA512 (netbsd-INSTALL_C700) = e2e9d50096b1d2984fd7d35e2ced8452088570c23b300dc98d6bf8603be45b6c5fea79633f10f85f4ab6116fdc00bd2ba3831925c13ae9ce54f3ebc08363fb7f