SHA512 (netbsd-INSTALL) = 1c889294e0884412d7e310b06ed97296be252c31a0997b2e5ba46b9e650f9d29a9fefe791f92488c826642f35cedbf07303f4afdc809fc978c7fcf42fd63b157
SHA512 (netbsd-INSTALL_C700) = f1b0e1940a282a346dfbeb59a8c1b80934ec0e7edff05fb0f18b9f3dfe5fe69279088e2c6b71981fe900339bfd64913dc029961e1ea1a0f26bedf34f94effa0f