SHA512 (netbsd-INSTALL) = a502ab7e928004dbfb24ab58f375b6898f4ed4226d6e0a6673a6cade14003b8e3d6a88769b96159c60db7fa586a4f9217e4ce356a945c8a5f2a143970eea8021
SHA512 (netbsd-INSTALL_C700) = 32904a43db8e398f89f347bba75d9a098786aa7706488d5094a807cee64a06afa9b8aa0b4be30c363f57b04fa93d91d3f99ce03f27da1e2ce8b92ff85f8c698c