SHA512 (netbsd-INSTALL) = 7939217a8d4aed6516bcd6dcc4193be5ed6fb22a74aea52fff198c5568f87c1776523b417e4daee98ec6631801824290aa8980cb557c4a6362f5cf6ee30818fe
SHA512 (netbsd-INSTALL_C700) = 9d9be49b6af18823512e1226eb4709083371fdebfa086d144c903c2354f9ba3e16f70209ac313125b0b110f31befadd802c8827883308720aaaf350488551886