SHA512 (netbsd-INSTALL) = 6709c135b10c58cc14e3903729bf408b4264eaff4512c77c04e7281de3d423e951341638ad4f4327e2eea9ad141e3858e0ad0175f9731fd1e882295cb2a12999
SHA512 (netbsd-INSTALL_C700) = 10a9feb4dc08d380c5ec88de6331d5b9c84837e6afae48f5af9552f1b3b69ba7c36c155176e9bcecfc8897c863546e9dcd6b017382243e5adaa80b75d8bf5773