SHA512 (netbsd-INSTALL) = 335fb54b7e323e2554e23761823df14345cb75b6d34fc2c8e0bf150a8ab3d6db145d8564cc5c7257249fb9268aede4676b61abd60d3ec2f99235a5b5cddeb264
SHA512 (netbsd-INSTALL_C700) = 5d7961b5e60630565434e34bffc40503650cf246ab72cc8694f42b8bceffef6bf674941cf26aa6fcbbb6f9cd90968bdb7320838ece16a3a1261335b58e003dd0