MD5 (netbsd-INSTALL) = cc864fe7b74896288c94f57830fd94f3
MD5 (netbsd-INSTALL_C700) = a580d1e991d12821b2fdf0aaec280569