SHA512 (netbsd-INSTALL) = 4b661995b254d3f007d90afdb2e74725dc95017890a7d5fc4a516540b2dcce57c91b51fd8478a10a3e4cd10c703ff791e166355b284003bfddd121296e3fa40b
SHA512 (netbsd-INSTALL_C700) = 870ad712d40c62750be4423d90cee833ac90763b58298c32df361a1784b5f880db6eae718fae189160c0d70d2976a216d9ff5e68ceb033407435e0e56e7a3c11