MD5 (netbsd-INSTALL) = afbff91d4dfc37b68e4a299927b50d7c
MD5 (netbsd-INSTALL_C700) = 808184fb3550de30505b7c82dfcb2a61