SHA512 (netbsd-INSTALL) = 6b7c2d250058667aa2dce70a25ffe25513a1a50a86e77ca6d2f39321c4192b25834729cec4ddc3f3f6969ce30d9438b109c39f2267b84fb2240456932c77952c
SHA512 (netbsd-INSTALL_C700) = 2667f7fc55d18aa9a3bf4ed180f5dce287c0155db79a23838804de513d2738812f47e35fa120c9ed020196062eb0ade7123526a95ea020502790e4a11672e490