SHA512 (netbsd-INSTALL) = 248921c69340d44f7ef520ecfc210aff436e77829a1e416648d76301f4cec7bb7509b2dad0dc94957adabdc7378f78d0dc3c229ec6c5fb5e761786fe3a605538
SHA512 (netbsd-INSTALL_C700) = 8e496c36ed57e42eb23f09378eaf6757b5804c5d1a8081c2f0f5db9fa0c7ffe5ca34d98d34a8626fe38fd27b4b63cd59dd2788896cf5d4d56d6dcb035bbfa51d