SHA512 (netbsd-INSTALL) = 519fe5fcfb6d52f112dfca380dfa51b9d8e30e44f525342185b702a1dcc79067d02a2d541e9f6a820ce610b2c41f77ed74233fec7d48182dab03aab6676b297d
SHA512 (netbsd-INSTALL_C700) = 46b617aa0c9f9e83fb2128a8681a4cd90d1aeeb42b6aad0c152c6675ea9b7fae0151fe616aebb44aa8961ec6c04f77acaffd4e243c8ddc740a49d67fefe9fafd