SHA512 (netbsd-INSTALL) = 27f83ea24523229f2f6448955d5ce5cd400274d5cd20760ad107e5453f720e8971f3671c883c4df789e93f01054db298a9596ae3f279e9b4f3dcf5ad4331bf3d
SHA512 (netbsd-INSTALL_C700) = a3f0dbcdf9d9e65aa628acb8109559ab57e2d7229a2dbb7a8979e3b9e1f9c06ac9fe9f725332a9d55fa87c379fd81f77fdf4cf5d9a8712e60dbed3f336bc1c71