SHA512 (netbsd-INSTALL) = 7287a5663cc7dddab6957fefc7f9d0433cb90490c0601bf2bb5a8692a0e24a0f5baa06c8035438d8410a4e76100e78bdd7c6da8e65b27121afb86dc894372353
SHA512 (netbsd-INSTALL_C700) = 827e0693309f59bd11a37e05367ff84994dc1c7cf0052792cf7d05b8fb1590a9bb386c033183fe1f674a5097228de2d8debeb245aca9eedda8d29f3060d33e1e