MD5 (netbsd-INSTALL) = 8f715a3d01eb0b7d4141eb9ed10b4bff
MD5 (netbsd-INSTALL_C700) = 5a1eb3c62012100bda5331411e86ffa9