SHA512 (netbsd-INSTALL) = 7276d3dbe03ef760dbf99c2e862ff55e75131df9ff4ff7fc513e4e51b8d83d8ada03d7295a5e5799cbfeb6dab9b0fcf0b8ca6c93e347ae8b367b2775b5463a93
SHA512 (netbsd-INSTALL_C700) = 5b175d82532d957e05fa0358a5317f0ab23394c07ed4cf4f5ca14e4aea3d35490e1beda47c5856e266593fdf4aac4790107c1701f9d004f944f0cf190e5edf12