SHA512 (netbsd-INSTALL) = d418761cefd7b05a3b2230536f948aad848e12731d222b659222cff429749f60dab3731a472ad9bbeaf0d4ed8f451cb7cda7de8b8bc5d13e2ea8de4a10ddff9b
SHA512 (netbsd-INSTALL_C700) = ce4b3fdeedc224d5b62de2497becb0c8616f0e21411cba105f1725aba24d39d9fcaef81b35d0b3ed96b26cb0b5dbce18ef193bf96ab6edae645ef8d2481d8aaa