SHA512 (netbsd-INSTALL) = 4c3230949b674cfdbe4a3ecf7af3c4b77f5e1991770f72b7b58f586e7eee10421e87f39fb009998baef56ca50421d9e51f6ae4f9f9b58b0d90e528f6939ec634
SHA512 (netbsd-INSTALL_C700) = 7563e967e555f17f396cedf9f3bd142074bb05ac8f23d5707c407679f7292a892391c97a83251d69cf2b37bb77c6d1b6f3f7b843e6b61956b5ce1e6f8952bedb