SHA512 (netbsd-INSTALL) = a724d8df9d58f29341c06becc5d3eb75ae6891ae40d18e00a4286d076242bedbc7744d95e88ff50f6cd82342c4c38dc02099e484b3d24d844e89773d1748f661
SHA512 (netbsd-INSTALL_C700) = 67c0fb938b2951fee74bd1bf5eafacbaf447663c9c715f11c086a77fa8e64de16c937a6c2b05468bf1dc40a85179979d2f25d41d73abf97df99d58c6c738fedb