SHA512 (netbsd-INSTALL) = 6a4453f552e017dbc2ea92cc11dd1b5132a85f875d4cfe1894496966da730188088dd290c820679ef33f2f656e62f2893eeebc871cd244d56e6bb3a7dd5768e2
SHA512 (netbsd-INSTALL_C700) = 6bcf7d89ce6a009ba937e968161abe20174e6527b6ab90a07fb8f72018f6eb4cc6cb28bea09fafde05a8db2cff499a116550d5ca29350fba65ff469e2d881cf8