SHA512 (netbsd-INSTALL) = 902d84fd2558319b0a700d7de3f6c5a29951ac50ca796f4b773e9aebc6833043d79c107fba9dfc5f5cb82dd01efc0be769d957b82711adf76eed1b5529b907e5
SHA512 (netbsd-INSTALL_C700) = b08544bd1be6aa103d91919e275a157f351d661d3fd550708d869269cf85e7e38c51ca060e50a0a5840ba75bf1913fe26ae683f80d1fb16d52bb6b770011678f