SHA512 (netbsd-INSTALL) = 8256043c1b22fcc5cc98503be61aa31eb0553325787f6e88d83d69240d33bc484cc8a7975236a290c2e9c886643bef995bda20b931be9ff156b94c08ae0677b3
SHA512 (netbsd-INSTALL_C700) = 3bb04268119b599965e058793dd3ed1fcde3542192c03ae0ae0d5b9aeb96f11cbf4be03835bdf846ebecd99e9e6ea7c9f36c5506232a7a88dc5ab25c32cc7a69