SHA512 (netbsd-INSTALL) = bb7410bb3a84e6b1f3ff3728dfbc8cdee2da1b017c5c55b0ea1a848aabf92f75021da054b655c96df5e6020aeaeabb40f6fdbbaf169209839666c5a67157a427
SHA512 (netbsd-INSTALL_C700) = 2d402a9088087755554493e6ca09392572256f5801e79a2141456c504b563d228862284379bd059557f38a86d90a37a0ff006774d52339d4398e1a5e1f7252fa